Toggle Main Menu Toggle Search

ePrints

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

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.


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

URL: http://dx.doi.org/10.4018/978-1-4666-6194-3.ch001

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

Library holdings: Search Newcastle University Library for this item

ISBN: 9781466661943


Actions

Link to this publication


Share