DocumentCode
228138
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
fYear
2014
fDate
9-13 June 2014
Firstpage
67
Lastpage
72
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System of Systems Engineering (SOSE), 2014 9th International Conference on
Conference_Location
Adelade, SA
Type
conf
DOI
10.1109/SYSOSE.2014.6892465
Filename
6892465
Link To Document