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

Fitzgerald, J; Pierce, K; Larsen, PG

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

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

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

Downloads

Accepted version [.pdf]

Licence

This is the authors' accepted manuscript of a book chapter that has been published in its final definitive form by IGI Global, 2014.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

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.