It is essential to find new ways of enabling experts in different disciplines to collaborate more
efficient in the development of ever more complex systems, under increasing market …

We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for
the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems …

It is widely held that debugging cyber-physical systems (CPS) is challenging. However, few
empirical studies quantitatively and qualitatively capture the state of the art and the state of …

The paper is concerned with the practical use of formal techniques to contribute to the risk
analysis of a new neonatal dialysis machine. The described formal analysis focuses on the …

We describe an approach to the model-based engineering of embedded and cyber-physical
systems, based on the semantic integration of diverse discipline-specific notations and tools …

We consider the role of collaborative modelling and co-simulation in the design of systems
of cyber-physical systems (SoCPSs). Such systems pose particular challenges to model …

A major challenge in the model‐based engineering of Cyber‐Physical Systems (CPSs) is
that of providing methods and tools that support decision‐making in design. In the CPS …

The development of cyber-physical systems (CPSs) with mechanical, electrical and software
components requires a multi-disciplinary approach. Moreover, the use of models is …

This paper describes a collaborative modelling exercise using the DESTECS framework.
The DESTECS approach allows engineers and software designers to collaborate to produce …

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 …