Browse by author
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.
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