Trustworthy Cyber-Physical Systems Engineering

The ENGINEERING of dependable Cyber-Physical Systems (CPSs) demands model-based methods and tools that support -at a semantic level -the diversity of notations necessary to describe both the computational and physical elements of the systems of interest.This extends to the need for integrated tool chains that support the collaborative construction of models, the exploration of alternative designs, and the validation of key system properties.We discuss research towards an open framework for the collaborative construction and simulation of models of CPSs, including foundations that support semantic diversity, and method guidelines to assist the activities from requirements to realisations.The approach under examination integrates existing industry-strength tools based around Functional Mock-up Interface-compatible co-simulation.Integrating the well-founded semantics of different simulators should allow us to deliver collaborative simulation (co-simulation) of multiple models (co-models).We demonstrate the intended use of this technology with an industrial case study from the railway domain.