ABSTRACT
CONTENTS 8.1 Introduction 178 8.2 Background 179 8.3 Industrial Case Study: Distributed Interlocking 181 8.4 Toward Integrated Toolchains: The INTO-CPS Project 184 8.5 CPS Foundations 187
8.5.1 Example Illustrating Heterogeneous Semantics with Railway Safety 189 8.6 Methods for Model-Based CPS Engineering 190
8.6.1 Co-Models 190 8.6.2 Workows 191 8.6.3 Design Space Exploration 192 8.6.4 Model Management, Traceability, and Provenance 193
8.7 CPS Co-Simulation Tool Support 193 8.7.1 The FMI Standard 193 8.7.2 Tool Usage for the Distributed Interlocking Case Study 194
8.8 Concluding Remarks 194 Acknowledgments 195 References 195
The engineering of dependable cyber-physical systems (CPS) 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 toward an open framework for the collaborative construction and simulation of models of CPS, including foundations that support semantic diversity and method guidelines that assist the activities from requirements to realizations. The approach under examination integrates existing industry-strength tools based around Functional Mock-up Interface-compatible co-simulation. Integrating the well-founded semantics of dierent 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.
