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:
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
Günter Ehmen and Kim Grüttner and Björn Koopmann and Frank Poppen and Philipp Reinkemeier and Ingo Stierand; SAE World Congress Experience (WCX'18); 04 / 2018
Benedikt Bauer and Jan Steffen Becker and Thomas Peikenkamp and Christof Schlaak and Ingo Stierand; Combined Proceedings of the Workshops of the German Software Engineering Conference 2018 (SE 2018); 3 / 2018
Jan Steffen Becker and Vincent Bertram and Tom Bienmüller and Udo Brockmeyer and Heiko Dörr and Thomas Peikenkamp and Tino Teige; 9th European Congress Embedded Real Time Software and Systems ERTS 2018; 2018
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; Janurary / 2018
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; FAT-Schriftenreihe 302; 10 / 2017