Co-modelling and Co-simulation in Embedded Systems Design

The collaborative development of an embedded system requires productive interaction between engineers from very different backgrounds. Control engineering and software engineering have matured over many decades, each with its own philosophy, methods and terminology, and so it is necessary to clarify the common ideas that underpin co-modelling and co-simulation. This chapter introduces the concepts of co-modelling and co-simulation, including notions of system, model and co-model, simulation and co-simulation. It also describes the ways in which co-modelling and co-simulation can be integrated with established systems and software life cycle processes such as IEEE 15288 and IEEE 12207.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[30]  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 .

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

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

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

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

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

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

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

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

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

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

[41]  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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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