Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

A German project is presented which was initiated in order to analyse the potential and risks
associated with Cyber-Physical Systems. These have been recognised as the next wave of …

In the development of safety-critical embedded systems, requirements-driven approaches
are widely used. Expressing functional requirements in formal languages enables reasoning …

Introduction to the SPES Modeling Framework Page 1 Prof. Dr. Manfred Broy Prof. Dr. Werner
Damm Dr. Stefan Henkler Prof. Dr. Klaus Pohl Andreas Vogelsang Dr. Thorsten Weyer 3 …

Designing safety-critical cyber physical systems (CPS) was and remains a challenging task.
CPS engineers are supposed to design solutions that are easy to modify, reusable, satisfy …

In this work we address evolving systems, which are basically collaborative and distributed
systems building up a larger scale system of system (SoS). These systems are able to adapt …