Therefore, a common approach when building them is to execute rigorous safety assessment throughout their development and operation.
The S2D group addresses these challenges by exploiting scientific results that enable the innovation-friendly and cost-efficient application of methods supporting these assessment activities.
Key application areas are:
Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter; NASA Formal Methods; 2020
Neurohr, Christian and Westhofen, Lukas and Henning, Tabea and de Graaff, Thies and Möhlmann, Eike and Böde, Eckard; 2020 IEEE Intelligent Vehicles Symposium (IV); 2020
Kramer, Birte and Neurohr, Christian and Büker, Matthias and Böde, Eckard and Fränzle, Martin and Damm, Werner; Model-Based Safety and Assessment; September / 2020
Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn; 2019 4th International Conference on System Reliability and Safety (ICSRS); 2019
Eckard Böde, Matthias Büker, Werner Damm, Martin Fränzle, Birte Kramer, Christian Neurohr, Sebastian Vander Maelen; Juli / 2019
Werner Damm and Günter Ehmen and Kim Grüttner and Philipp Ittershagen and Björn Koopmann and Frank Poppen and Ingo Stierand; Proceedings of the Workshop on Design Automation for CPS and IoT (DESTION'19); 04 / 2019