Ulteriori informazioni
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.
Sommario
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.
Riassunto
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.
