Collaborative Modeling and Simulation for Cyber-Physical Systems

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 1878.5.1 Example Illustrating Heterogeneous Semantics with Railway Safety 189 8.6 Methods for Model-Based CPS Engineering 1908.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 1938.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 1948.8 Concluding Remarks 194 Acknowledgments 195 References 195The 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 collaborativeconstruction 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.