Title :
Co-modelling and co-simulation in the engineering of systems of cyber-physical systems
Author :
Fitzgerald, Jeannie ; Pierce, Ken ; Larsen, Peter Gorm
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
Abstract :
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.
Keywords :
formal verification; groupware; SoCPS; collaborative modelling; continuous-time model; cosimulation; discrete-event model; embedded system; system of cyber-physical system; Analytical models; Computational modeling; Mathematical model; Object oriented modeling; Robot sensing systems;
Conference_Titel :
System of Systems Engineering (SOSE), 2014 9th International Conference on
Conference_Location :
Adelade, SA
DOI :
10.1109/SYSOSE.2014.6892465