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.

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

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.

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.