Today’s Challenges and Potential Solutions for the Engineering of Collaborative Embedded Systems

Traditionally, embedded systems were characterized as reactive systems, whose functionality was determined by the execution of particular control circuits. Today’s embedded systems are equipped with powerful communication abilities to form collaborative networks of embedded systems dynamically during runtime in order to fulfill an overall purpose. Due to this changing nature of embedded systems, well-established engineering approaches are no longer sufficient to guarantee a successful development and operation. In this paper, we outline different challenges for engineering processes of collaborative embedded systems originated from the specific characteristics of such systems. Based on our findings, we discuss how particular techniques from the state of the art can potentially be used to address these upcoming challenges.

[1]  Richard F. Paige,et al.  Metamodel-based model conformance and multiview consistency checking , 2007, TSEM.

[2]  Pascal Fradet,et al.  Consistency checking for multiple view software architectures , 1999, ESEC/FSE-7.

[3]  Sol M. Shatz,et al.  Development of class-level and instance-level design models for distributed-object software , 2002, Comput. Syst. Sci. Eng..

[4]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[5]  Anna Perini,et al.  Requirements Monitoring for Adaptive Service-Based Applications , 2012, REFSQ.

[6]  Marian Daun,et al.  On the Model-based Documentation of Knowledge Sources in the Engineering of Embedded Systems , 2014, Software Engineering.

[7]  Austin Henderson,et al.  Interaction design: beyond human-computer interaction , 2002, UBIQ.

[8]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[9]  Rick Salay,et al.  Managing requirements uncertainty with partial models , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).

[10]  Sachar Paulus,et al.  Trustworthy Software Development , 2013, Communications and Multimedia Security.

[11]  Lichen Zhang,et al.  Modeling large scale complex cyber physical control systems based on system of systems engineering approach , 2014, 2014 20th International Conference on Automation and Computing.

[12]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[13]  Klaus Pohl,et al.  Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems , 2015, REFSQ.

[14]  Joseph Sifakis,et al.  Model checking , 1996, Handbook of Automated Reasoning.

[15]  D. J. Flynn,et al.  An empirical study of the validation process within requirements determination , 1994, Inf. Syst. J..

[16]  Rick Salay,et al.  Supporting early decision-making in the presence of uncertainty , 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

[17]  Nelly Bencomo,et al.  Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks , 2013, REFSQ.

[18]  Alberto RibesAbstract,et al.  Multi agent systems , 2019, Proceedings of the 2005 International Conference on Active Media Technology, 2005. (AMT 2005)..

[19]  Jon Whittle,et al.  Synthesizing hierarchical state machines from expressive scenario descriptions , 2010, TSEM.

[20]  Ingolf Krüger,et al.  Model-based run-time monitoring of end-to-end deadlines , 2005, EMSOFT.

[21]  Marsha Chechik,et al.  Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[22]  Jeff Magee,et al.  Self-organising software architectures for distributed systems , 2002, WOSS '02.

[23]  Bradley R. Schmerl,et al.  Software Engineering for Self-Adaptive Systems: A Second Research Roadmap , 2010, Software Engineering for Self-Adaptive Systems.

[24]  Ioan Dumitrache,et al.  Urban Traffic Monitoring and Control as a Cyber-Physical System Approach , 2013 .

[25]  Behrouz Homayoun Far,et al.  Detecting emergent behavior in autonomous distributed systems with many components of the same type , 2012, 2012 IEEE International Conference on Systems, Man, and Cybernetics (SMC).

[26]  Klaus Pohl,et al.  Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations , 2015, REFSQ.

[27]  Patrick Doherty,et al.  Efficient Reasoning Using the Local Closed-World Assumption , 2000, AIMSA.

[28]  Thomas G. Dietterich.  What is machine learning? , 2020, Archives of Disease in Childhood.

[29]  Luming Tan,et al.  Future internet: The Internet of Things , 2010, 2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE).

[30]  Klaus Pohl,et al.  Requirements Engineering for Embedded Systems: An Investigation of Industry Needs , 2011, REFSQ.

[31]  Thomas Moser,et al.  Using Models at Runtime For Monitoring and Adaptation of Networked Physical Devices: Example of a Flexible Manufacturing System , 2010, Models@run.time.

[32]  Richard N. Taylor,et al.  Using Architectural Models to Manage and Visualize Runtime Adaptation , 2009, Computer.

[33]  Ying Tan,et al.  A concept lattice-based event model for Cyber-Physical Systems , 2010, ICCPS '10.

[34]  F. Javier Lerch,et al.  Towards a model of cognitive process in logical design: comparing object-oriented and traditional functional decomposition software methodologies , 1992, CHI.

[35]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[36]  Frank Eliassen,et al.  Using architecture models for runtime adaptability , 2006, IEEE Software.

[37]  Brice Morin,et al.  A dynamic component model for cyber physical systems , 2012, CBSE '12.

[38]  Daniela E. Damian,et al.  Integrating Data Mining into Feedback Loops for Predictive Context Adaptation , 2013 .

[39]  Liqian Chen,et al.  Runtime Monitoring for Cyber-physical Systems: A Case Study of Cooperative Adaptive Cruise Control , 2012, 2012 Second International Conference on Intelligent System Design and Engineering Application.

[40]  Edward Amoroso,et al.  A process-oriented methodology for assessing and improving software trustworthiness , 1994, CCS '94.

[41]  J. V. Rauff,et al.  Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence , 2005 .