Welcome to the InfoSci Platform
Reference Hub1
Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation

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

John Fitzgerald, Ken Pierce, Peter Gorm Larsen
Copyright: © 2014 |Pages: 28
ISBN13: 9781466661943|ISBN10: 1466661941|EISBN13: 9781466661950
DOI: 10.4018/978-1-4666-6194-3.ch001
Cite Chapter Cite Chapter

MLA

Fitzgerald, John, et al. "Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation." Handbook of Research on Embedded Systems Design, edited by Alessandra Bagnato, et al., IGI Global, 2014, pp. 1-28. https://doi.org/10.4018/978-1-4666-6194-3.ch001

APA

Fitzgerald, J., Pierce, K., & Larsen, P. G. (2014). Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation. In A. Bagnato, L. Indrusiak, I. Quadri, & M. Rossi (Eds.), Handbook of Research on Embedded Systems Design (pp. 1-28). IGI Global. https://doi.org/10.4018/978-1-4666-6194-3.ch001

Chicago

Fitzgerald, John, Ken Pierce, and Peter Gorm Larsen. "Collaborative Development of Dependable Cyber-Physical Systems by Co-Modeling and Co-Simulation." In Handbook of Research on Embedded Systems Design, edited by Alessandra Bagnato, et al., 1-28. Hershey, PA: IGI Global, 2014. https://doi.org/10.4018/978-1-4666-6194-3.ch001

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.