Engineering Safe and Trustworthy Cyber Physical Systems: Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday
暫譯: 工程安全與可信的網路物理系統：獻給維爾納·達姆71歲生日的論文集
Fränzle, Martin, Niehaus, Jürgen, Westphal, Bernd
商品描述
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.商品描述(中文翻譯)
這本 Festschrift 獻給 Werner Damm，他是網路物理系統的先驅研究者和實踐者。Werner 於 1981 年在亞琛工業大學（RWTH Aachen）獲得博士學位，並在奧斯提茲基大學（Carl von Ossietzky Universität Oldenburg）擔任計算機架構和安全關鍵系統的教授，並協調了許多基礎研究項目，例如由德國科學基金會資助的自動驗證與分析複雜系統的合作研究中心（Collaborative Research Center Automatic Verification and Analysis of Complex Systems, AVACS）。他是許多項目、協會、公司和活動的創始人或董事會成員，包括應用研究機構 OFFIS；提供汽車系統測試解決方案的 BTC Embedded Systems；協調安全相關系統策略和知識轉移的非營利工業和學術協會 SafeTRANS；以及眾多會議。他曾擔任德國人工智慧研究所（DFKI）、歐洲委員會的 ECSEL 和 Artemis 公私合營夥伴關係、德國航空航天中心（DLR）、亥姆霍茲協會以及美國國家科學基金會的科學委員會成員或專家顧問。他是德國技術科學國家學院（acatech）的成員。
Werner Damm 的工作涵蓋了嵌入式系統的數學模型、系統之系統、網路物理系統、規範語言、混合離散-連續系統、形式驗證方法、從形式規範自動合成以及實時和安全關鍵行為的分析，並與航空電子、汽車、太空和醫療系統的工業夥伴進行應用研究。在他的職業生涯中，他一直致力於使數位控制系統安全、社會可接受且有益。本卷中的貢獻反映了他如何激勵許多跨學科的研究者和實踐者，這些人共享相同的抱負。
