Engineering Safe and Trustworthy Cyber Physical Systems

This Festschrift is dedicated to Werner Damm, a pioneering researcher and practitioner in cyber-physical systems. Werner received his PhD in 1981 from RWTH Aachen and held the Chairs for Computer Architecture and Safety Critical Systems at Carl von Ossietzky Universität Oldenburg, from where he coordinated foundational research projects such as the Collaborative Research Center Automatic Verification and Analysis of Complex Systems, AVACS, funded by the German Science Foundation. He has been a founder or board member of many projects, associations, companies, and events, including the applied research institute OFFIS; BTC Embedded Systems, providing testing solutions for automotive systems; SafeTRANS, a non-profit industrial and academic association coordinating strategies and knowledge transfer in the area of safety relevant systems; and numerous conferences. He has been a scientific board member or expert advisor to the German Institute for Artificial Intelligence, DFKI; the ECSEL and Artemis public-private partnerships of the European Commission; the German Aerospace Center, DLR; the Helmholtz Association; and the US National Science Foundation. He is a member of the German National Academy of Technical Sciences, acatech.

Werner Damm's work has spanned mathematical models of embedded systems, systems-of-systems, cyber physical systems, specification languages, hybrid discrete-continuous systems, formal verification methods, automatic synthesis from formal specifications, and analysis of real-time and safety-critical behavior, 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. The contributions in this volume reflect how he has inspired many researchers and practitioners across disciplines who share this ambition.

Honors an influential researcher, practitioner, and community leader Chapters explain many project successes Contributions from many leading scientists

Inhalt

BTC Embedded Systems Bringing Formal Methods from Norddeutschland to the World.- Some Algebraic Aspects of Assume-Guarantee Reasoning.- Understanding Integration Testing.- On Using Ontologies in the Engineering of Intelligent Cyber-Physical Systems.- Bluetooth Low Energy for Safety-Critical Real-Time Applications.- A Notion of Relevance for Safety Critical Autonomous Systems.- Optimization Problems in Cyber-Physical Energy Systems.- Dynamic Risk Management in Cyber Physical Systems.- Toward Methodical Discovery and Handling of Hidden Assumptions in Complex Systems and Models.- Securing Future In-Vehicle Networks: Monitoring and Control for Ethernet Backbones.- Finite-Memory Strategies for Petri Games.- On the verification of parametric systems.- What if. . . we applied Model-based AI Engineering to Safety-Critical Systems.- Design of Concurrent Distributed Systems by Interface Contracts.- Information-flow Interfaces and Security Lattices.- Identification of Classification Clusters in Convolutional Neural Networks.- ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks.- Dominant Strategies for Hyperproperties.