Engineering Safe and Trustworthy Cyber Physical Systems

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber physical systems. Prof. Damm received his PhD in 1981 from RWTH Aachen and held the Chair for Safety Critical Systems at the Carl von Ossietzky Universität Oldenburg where he coordinated large-scale foundational research projects such as Automatic Verification of Complex Systems funded by the German Science Foundation. He has been a founder or board member of many research projects, associations, companies, and events, including OFFIS, the non-profit applied research institute; BTC Embedded Systems, providing testing solutions for automotive systems; SafeTRANS, a non-profit industrial and academic association coordinating strategies and know-how transfer in the area of safety in transportation; and CPS Week, which combines top related conferences such as HSCC. He has been a scientific board member or expert advisor to the German Institute for Artificial Intelligence, DFKI; the ECSEL, Artemis, and ENIAC projects of the European Commission; DLR, the German Aerospace Center; the Helmholtz Association; and the US National Science Foundation. He was elected as a member of the German National Academy of Technical Sciences, acatech, in 2012.Werner Damm’s work has addressed mathematical models of embedded systems, systems-of-systems, and cyber physical systems, specification languages, hybrid systems, formal verification methods, formal synthesis, and real-time and safety analysis, complemented by applied research with industrial partners in avionics, automotive, space, and medical systems. Throughout his career he has been motivated to render digitally controlled systems safe, societally acceptable, and beneficial, and he has inspired many researchers and practitioners across disciplines who share this ambition. The contributions in this volume reflect their ongoing successes.