From Embedded to Cyber-Physical Systems: Challenges and Future Directions

Embedded systems can be seen as the first generation of a wider class of cyber-physical systems that integrate possibly large numbers of computing platforms in physical environments. Given the significant challenges facing the developers of such systems, we briefly review the state of the art in collaborative modelling and co-simulation technology for embedded systems design, and identify advances needed on the way to scaling this technology to the cyber-physical level. We consider the role of co-modelling in the design flow for cyber-physical systems and the generalisation of co-models to networks of constituent models of cyber and physical elements, the need for open co-simulation in order to support greater heterogeneity among constituent models, and the features needed to describe ubiquitous systems.

[1]  Nick Battle,et al.  The overture initiative integrating tools for VDM , 2010, ACM SIGSOFT Softw. Eng. Notes.

[2]  Helen Gill,et al.  Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).

[3]  Ian J. Hayes,et al.  FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings , 2005, FM.

[4]  Ayan Banerjee,et al.  Ensuring Safety, Security, and Sustainability of Mission-Critical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[5]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[6]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[7]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[8]  Rachel Edith Baker,et al.  An Approach for Dealing with Dynamic Multi-Attribute Decision Problems , 2005 .

[9]  Peter Gorm Larsen,et al.  Semantics of the VDM Real-Time Dialect , 2015 .

[10]  David Taniar,et al.  Computational Science and Its Applications – ICCSA 2013 , 2013, Lecture Notes in Computer Science.

[11]  Peter Marwedel,et al.  Embedded system design , 2021, Embedded Systems.

[12]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[13]  Jan F. Broenink,et al.  On Model-driven Design of Robot Software using Co-simulation , 2010 .

[14]  Chris Verhoef,et al.  The rise and fall of the Chaos report figures , 2010, IEEE Software.

[15]  Hermann Kopetz,et al.  The time-triggered architecture , 2003 .

[16]  H. Vangheluwe,et al.  An introduction to multi-paradigm modelling and simulation. , 2002 .

[17]  Danny Hughes,et al.  Composition challenges and approaches for cyber physical systems , 2010, 2010 IEEE International Conference on Networked Embedded Systems for Enterprise Applications.

[18]  Johannes F. Broenink,et al.  Modelling, Simulation and Analysis with 20-Sim , 1997 .

[19]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[20]  Edward A. Lee.  CPS foundations , 2010, Design Automation Conference.

[21]  Ayan Banerjee,et al.  Research directions in energy-sustainable cyber-physical systems , 2011, Sustain. Comput. Informatics Syst..

[22]  Edward A. Lee.  Computing needs time , 2009, CACM.

[23]  Stewart Robinson,et al.  Simulation: The Practice of Model Development and Use , 2004 .

[24]  Elizabeth Latronico,et al.  System Design, Modeling, and Simulation Using Ptolemy Ii Ontologies , 2013 .

[25]  Peter Gorm Larsen,et al.  Vienna Development Method , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[26]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[27]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[28]  Eric Bonabeau,et al.  Agent-based modeling: Methods and techniques for simulating human systems , 2002, Proceedings of the National Academy of Sciences of the United States of America.

[29]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[30]  Insup Lee,et al.  Challenges and Research Directions in Medical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[31]  Christopher G. Lasater,et al.  Design Patterns , 2008, Wiley Encyclopedia of Computer Science and Engineering.

[32]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[33]  Marcel Verhoef,et al.  Formal Methods Going Mainstream: Costs, Benefits, Experiences , 2006 .

[34]  Henk Corporaal,et al.  PROGRESS white papers 2006 , 2006 .

[35]  Peter Fritzson,et al.  Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.

[36]  Philip R. Moorby,et al.  The Verilog Hardware Description Language, 5th Edition , 2002 .

[37]  M. Heemels,et al.  Boderc: Model-based design of high-tech systems : A collaborative research project for multi-disciplinary design analysis of high-tech systems , 2007 .

[38]  Martyn Thomas,et al.  Industrial deployment of system engineering methods providing high dependability and productivity. , 2013 .

[39]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[40]  Peter Gorm Larsen,et al.  Development Process of Distributed Embedded Systems using VDM , 2010 .

[41]  Gabriela Magureanu,et al.  Validation of static properties in unified modeling language models for cyber physical systems , 2013, Journal of Zhejiang University SCIENCE C.

[42]  Jan Peleska,et al.  Executable HybridUML and Its Application to Train Control Systems , 2004, SoftSpez Final Report.

[43]  Nick Battle,et al.  VDM-10 Language Manual , 2010 .

[44]  Daniel Jackson,et al.  A direct path to dependable software , 2009, CACM.

[45]  Job van Amerongen,et al.  Dynamical Systems for Creative Technology , 2010 .

[46]  Cliff B. Jones,et al.  Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.

[47]  David Garlan,et al.  Large-Scale Complex IT Systems. Development, Operation and Management , 2012, Lecture Notes in Computer Science.

[48]  Edward A. Lee,et al.  Distributed Real-Time Software for Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[49]  C. W. Johnson.  The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions , 2005, FM.

[50]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[51]  K.-E. Arzen,et al.  How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime , 2003, IEEE Control Systems.

[52]  Peter Gorm Larsen,et al.  Validated Designs for Object-oriented Systems , 2004 .

[53]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[54]  Osman Hasan,et al.  Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements , 2013, ICCSA.

[55]  Peter J. Ashenden,et al.  The Designer's Guide to VHDL , 1995 .

[56]  Peter Gorm Larsen,et al.  Modelling Systems: Practical Tools and Techniques in Software Development , 1998 .

[57]  Luciano Lavagno,et al.  Hardware-software codesign of embedded systems , 1994, IEEE Micro.

[58]  Jie Wu,et al.  Hierarchical attribute-based encryption for fine-grained access control in cloud storage services , 2010, CCS '10.

[59]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[60]  Peter Liggesmeyer,et al.  A Safety Roadmap to Cyber-Physical Systems , 2013, Perspectives on the Future of Software Engineering.

[61]  Jeffrey S. Lavell,et al.  Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .

[62]  G.E. Moore,et al.  Cramming More Components Onto Integrated Circuits , 1998, Proceedings of the IEEE.

[63]  Deniz Erdogmus,et al.  The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.

[64]  Marcel Verhoef,et al.  Modeling and validating distributed embedded real-time control systems , 2009 .

[65]  Nick Battle,et al.  Combinatorial Testing for VDM , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[66]  Felix Naumann,et al.  Data fusion , 2009, CSUR.

[67]  Edward A. Lee,et al.  CONTINUOUS TIME AND MIXED-SIGNAL SIMULATION IN PTOLEMY II , 1999 .

[68]  David Broman,et al.  Temporal Issues in Cyber-Physical Systems , 2013 .

[69]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[70]  Donald E. Thomas,et al.  The Verilog® Hardware Description Language , 1990 .

[71]  Manfred Broy,et al.  Cyber-Physical Systems: Imminent Challenges , 2012, Monterey Workshop.

[72]  Max Jacobson,et al.  A Pattern Language: Towns, Buildings, Construction , 1981 .

[73]  Frédéric Boulanger,et al.  Exploring Multi-Paradigm Modeling Techniques , 2009, Simul..

[74]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[75]  Peter Csaba Ölveczky,et al.  Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude , 2009, ICFEM.

[76]  John Dawes,et al.  The VDM-SL Reference Guide , 1991 .

[77]  Liviu Miclea,et al.  About dependability in cyber-physical systems , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).

[78]  Peter Marwedel,et al.  Embedded system design , 2010, Embedded Systems.

[79]  Benjamin W. Wah,et al.  Wiley Encyclopedia of Computer Science and Engineering , 2009, Wiley Encyclopedia of Computer Science and Engineering.

[80]  Dean Karnopp,et al.  Analysis and simulation of multiport systems : the bond graph approach to physical system dynamics , 1968 .

[81]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[82]  Flemming M. Damm,et al.  An Approach to the Static Semantics of VDM-SL , 1991, VDM Europe.

[83]  Manuel Mazzara,et al.  On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems , 2010, 2010 Third International Conference on Dependability.