• 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