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:
Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017
Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017
Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017
Stühring, Alexander and Ehmen, Günter and Fröschle, Sibylle; Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2016; 2016
Böschen, Martin and Bogusch, Ralf and Fraga, Anabel and Rudat, Christian; Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track (REFSQ-JP 2016); 2016
Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp; International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS); 1 / 2016
Boyer, Arnaud AND Tenbergen, Bastian AND Velasco, Santiago AND Antonio, Pablo AND Battram, Peter AND Buono, Suryo AND Kaiser, Bernhard AND Zander, Justyna AND Bizik, Kai AND Prohaska, Alexander AND Käßmeyer, Michael; Advanced Model-Based Engineering of Embedded Systems; 2016