Produktnummer:
181cbe632c6b1242c6bbcdd22c22e0b919
Themengebiete: | Cyber-Physical Systems (CPS) Embedded Systems Formal Languages Formal Methods Model Checking real-time systems semantics and reasoning verification and validation |
---|---|
Veröffentlichungsdatum: | 03.09.2025 |
EAN: | 9783031975370 |
Sprache: | Englisch |
Seitenzahl: | 310 |
Produktart: | Unbekannt |
Herausgeber: | Fränzle, Martin Niehaus, Jürgen Westphal, Bernd |
Verlag: | Springer International Publishing |
Untertitel: | Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday |
Produktinformationen "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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen