Co-modelling and co-simulation in the engineering of systems of cyber-physical systems

We consider the role of collaborative modelling and co-simulation in the design of systems of cyber-physical systems (SoCPSs). Such systems pose particular challenges to model-based SoS engineering through the need to address the semantic heterogeneity of models of physical phenomena alongside models of the computing elements. We describe an approach to multidisciplinary design in which discrete-event models of computing elements are coupled with continuous-time models of physical processes and the environment, allowing the exploration of a design space of alternative allocations of responsibility to cyber and physical elements. We consider, using a case study based on the design of a swarming application, the challenges to be addressed in scaling this approach up from embedded systems design to systems of cyber-physical systems.

[1]  Jim Woodcock,et al.  Features of CML: A formal modelling language for Systems of Systems , 2012, 2012 7th International Conference on System of Systems Engineering (SoSE).

[2]  Peter Gorm Larsen,et al.  Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.

[3]  Radhika Nagpal,et al.  Kilobot: A low cost scalable robot system for collective behaviors , 2012, 2012 IEEE International Conference on Robotics and Automation.

[4]  Jozef Hooman,et al.  Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ , 2006, FM.

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

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

[7]  Gabor Karsai,et al.  Co-simulation framework for design of time-triggered cyber physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[8]  Wolfram Burgard,et al.  Collaborative Exploration of Unknown Environments with Teams of Mobile Robots , 2001, Advances in Plan-Based Control of Robotic Agents.

[9]  Ferat Sahin,et al.  Testability of a swarm robot using a system of systems approach and discrete event simulation , 2010, 2010 5th International Conference on System of Systems Engineering.

[10]  Christian Wietfeld,et al.  AirShield: A system-of-systems MUAV remote sensing architecture for disaster response , 2009, 2009 3rd Annual IEEE Systems Conference.

[11]  Stefano Stramigioli,et al.  Modeling and Control of Complex Physical Systems - The Port-Hamiltonian Approach , 2014 .

[12]  C. Hardebolle,et al.  Multi-Formalism Modelling and Model Execution , 2009 .

[13]  Bo Stig Hansen,et al.  Information technology - Programming languages, their environments and system software interfaces: Vienna DevelopmentMethod - Specification Language - Part 1: Base language , 1996 .

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

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

[16]  Peter Gorm Larsen,et al.  A formal approach to collaborative modelling and co-simulation for embedded systems† , 2013, Mathematical Structures in Computer Science.

[17]  Uri Shani,et al.  4.5.2 Model Integration – Extracting Value from MBSE , 2013 .

[18]  Jim Woodcock,et al.  Foundations for Model-Based Engineering of Systems of Systems , 2013, CSDM.

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

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

[21]  Robert J. Wood,et al.  Two foraging algorithms for robot swarms using only local communication , 2010, 2010 IEEE International Conference on Robotics and Biomimetics.

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

[23]  M. Jamshidi,et al.  System of systems engineering - New challenges for the 21st century , 2008, IEEE Aerospace and Electronic Systems Magazine.

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

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