Toggle Main Menu Toggle Search

Open Access padlockePrints

Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation

Lookup NU author(s): Professor John Fitzgerald, Dr Ken Pierce, Dr Peter Larsen



The pace of innovation in Cyber-Physical Systems (CPSs) drives the need for multi-disciplinary methods and tools to support rapid and accurate assessment of design alternatives. In this chapter, the authors describe collaborative models (co-models) that link Discrete-Event (DE) models of control software with Continuous-Time (CT) models of controlled plant. They present methods and tools for co-modeling using VDM as the DE formalism, and bond graphs on the CT side, using the Crescendo platform to link existing simulators (Overture for VDM and 20-sim for bond graphs). The authors discuss the exploitation of co-models within the design flow, including their use with SysML, and the roles of Software-in the-Loop and Hardware-in-the-Loop simulation on the way to realising co-models in cyber and physical media. The authors identify research challenges in providing sufficient model fidelity and the evidence needed to support the engineering of certifiably dependable systems.

Publication metadata

Author(s): Fitzgerald J, Pierce K, Larsen PG

Editor(s): Bagnato, A; Indrusiak, LS; Quadri, IR; Rossi, M

Publication type: Book Chapter

Publication status: Published

Book Title: Handbook of Research on Embedded Systems Design

Year: 2014

Pages: 1-28

Print publication date: 30/06/2014

Series Title: Advances in Systems Analysis, Software Engineering, and High Performance Computing

Publisher: IGI Global

Place Published: Hershey, PA, USA


DOI: 10.4018/978-1-4666-6194-3.ch001

Library holdings: Search Newcastle University Library for this item

ISBN: 9781466661943