The increased need for constant connectivity and complete automation of existing systems
fuels the popularity of Cyber Physical Systems (CPS) worldwide. Increasingly more, these …

Designing safety‐critical software in domains ensuring essential services like transportation,
energy, or health requires high assurance techniques and compliance with domain specific …

Abstract Cyber‐Physical Systems (CPSs) differ from traditional Information Technology (IT)
systems in such a way that they interact with the physical environment, ie, they can monitor …

A cyber‐physical system‐of‐systems (CPSoS) can be defined as a system‐of‐systems
(SoS), composed of several operable and autonomous constituent systems (CSs) that are …

In today's engineering projects, companies continuously have to adapt their systems to
changing customers or dynamic market requirements. This requires a flexible, iterative …

Safety critical systems, such as medical, automotive, and avionics systems, play an
important role in our daily lives. Increasing demand for new technologies in these safety …

Engineering artifacts share interdependent properties, which must be kept consistent during
the engineering process. Existing works propose the unification of heterogeneous artifacts in …

In model-driven engineering, sequence diagrams are commonly used to describe a system's
expected behavior in different scenarios. Indeed, the information flow described in sequence …

Abstract Cyber-Physical Systems (CPS) are widely used in different domains. The major
application domains of CPS are healthcare, transportation, manufacturing, industrial control …

Excessive project failure rates result in billions of dollars in wasted resources annually.
Information technology (IT) businesses lose competitive advantage when leaders fail to …