Managing Heterogeneous Communication Challenges in the Internet of Things Using Connector Variability

Internet of Things (IoT) comprises smart systems that embrace computational and physical elements. In these systems, physical and software components are often tightly coupled. They are used widely in today’s technological systems, such as smart buildings, avionics, self-driving cars, etc. IoT systems are typically developed using hardware and software components with different interaction types. This chapter introduces an approach to manage hyper-connectivity in the IoT through connectors that are equipped with variability capability. Computational and physical elements in IoT-based systems are represented as components. Different types of communications among these components are abstracted and managed in the definition of connectors. XCOSEML is a modelling language that leverages the variability concept for the component-oriented development methodology. Variable connectors of XCOSEML are employed to address the hyper-connectivity challenges of the IoT domain. In our approach, systems are designed with XCOSEML constructs, and IoT domain needs are mapped to connector mechanisms. The heterogeneity in IoT communications is addressed by connector variability. The proposed approach is illustrated with a case study for proof of concept.

[1]  Mark Weiser,et al.  The computer for the 21st Century , 1991, IEEE Pervasive Computing.

[2]  Marco Sinnema,et al.  COVAMOF: A Framework for Modeling Variability in Software Product Families , 2004, SPLC.

[3]  Pierre-Yves Schobbens,et al.  Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking , 2013, IEEE Transactions on Software Engineering.

[4]  Ajinkya Bhave,et al.  An Architectural Approach to the Design and Analysis of Cyber-Physical Systems , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[5]  Bradley R. Schmerl,et al.  Supporting Heterogeneity in Cyber-Physical Systems Architectures , 2014, IEEE Transactions on Automatic Control.

[6]  Mourad Oussalah,et al.  An explicit definition of connectors for component-based software architecture , 2004, Proceedings. 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2004..

[7]  Nenad Medvidovic,et al.  Towards a taxonomy of software connectors , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[8]  Paola Inverardi,et al.  Achieving functional and non functional interoperability through synthesized connectors , 2016, J. Syst. Softw..

[9]  Bernhard Rumpe,et al.  Hierarchical Variability Modeling for Software Architectures , 2011, 2011 15th International Software Product Line Conference.

[10]  Iris Groher,et al.  Supporting Variability Management in Architecture Design and Implementation , 2013, 2013 46th Hawaii International Conference on System Sciences.

[11]  Antonio Iera,et al.  The Internet of Things: A survey , 2010, Comput. Networks.

[12]  Klaus Pohl,et al.  Software Product Line Engineering - Foundations, Principles, and Techniques , 2005 .

[13]  Ling Zhihao,et al.  The research and implement of smart home system based on Internet of Things , 2011, 2011 International Conference on Electronics, Communications and Control (ICECC).

[14]  Ramtin Khosravi,et al.  Modeling variability in the component and connector view of architecture using UML , 2008, 2008 IEEE/ACS International Conference on Computer Systems and Applications.

[15]  Soma Bandyopadhyay,et al.  Lightweight Internet protocols for web enablement of sensors using constrained gateway devices , 2013, 2013 International Conference on Computing, Networking and Communications (ICNC).

[16]  Kung-Kiu Lau,et al.  Towards Defining Families of Systems in IoT: Logical Architectures with Variation Points , 2015, IoT 360.

[17]  Pramod Anantharam,et al.  Semantic Gateway as a Service Architecture for IoT Interoperability , 2014, 2015 IEEE International Conference on Mobile Services.

[18]  Djamel Bennouar,et al.  Component-Based Specification of Software Product Line Architecture , 2014, ICAASE.

[19]  Ingrid Moerman,et al.  Enabling direct connectivity between heterogeneous objects in the internet of things through a network-service-oriented architecture , 2011, EURASIP J. Wirel. Commun. Netw..

[20]  Murat M. Tanik,et al.  A Process Model for Component-Oriented Software Engineering , 2003, IEEE Softw..

[21]  Luca Mainetti,et al.  Evolution of wireless sensor networks towards the Internet of Things: A survey , 2011, SoftCOM 2011, 19th International Conference on Software, Telecommunications and Computer Networks.

[22]  Anton Hergenröder,et al.  A Survey on Testbeds and Experimentation Environments for Wireless Sensor Networks , 2014, IEEE Communications Surveys & Tutorials.

[23]  Andreas Classen,et al.  A text-based approach to feature modelling: Syntax and semantics of TVL , 2011, Sci. Comput. Program..

[24]  Pierre-Yves Schobbens,et al.  Model checking software product lines with SNIP , 2012, International Journal on Software Tools for Technology Transfer.

[25]  Flavio Fabbri,et al.  A Sociability-Based Routing Scheme for Delay-Tolerant Networks , 2011, EURASIP J. Wirel. Commun. Netw..

[26]  Vicente Pelechano,et al.  Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes , 2009, Computer.

[27]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[28]  Valérie Issarny,et al.  Towards application development for the internet of things , 2011, MDS '11.

[29]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[30]  Frank Eliassen,et al.  A development framework and methodology for self-adapting applications in ubiquitous computing environments , 2012, J. Syst. Softw..

[31]  Enamul Hoque,et al.  Bundle: A Group-Based Programming Abstraction for Cyber-Physical Systems , 2012, IEEE Trans. Ind. Informatics.

[32]  Friedemann Mattern,et al.  From the Internet of Computers to the Internet of Things , 2010, From Active Data Management to Event-Based Systems and More.

[33]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .