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:
- Identification and analysis of risks in automotive, aerospace, and maritime applications, compliant with the safety standards in these areas.
- Methods for designing safety and security concepts that can be validated before their implementation is available.
- Safety cases that show in a certifiable way that failures of systems and even attacks cannot undercut these concepts.
Persons 
B
F
G
N
S
W
Publications
2018
A Formal Semantics for Traffic Sequence Charts
Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday; July / 2018
Analyzing Consistency of Formal Requirements
Jan Steffen Becker; 18th International Workshop on Automated Verification of Critical Systems; 2018
Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration
Günter Ehmen and Kim Grüttner and Björn Koopmann and Frank Poppen and Philipp Reinkemeier and Ingo Stierand; WCX: SAE World Congress Experience 2018; 04 / 2018
Entwurfsabsicherung für eingebettete Mehrkernsysteme im Kontext der ISO 26262
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
Interoperable Toolchain for Requirements-Driven Model-Based Development
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
Using Traffic Sequence Charts for the Development of HAVs
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
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker
Becker, Jan Steffen; Formal Methods for Industrial Critical Systems; 2018
2017
Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems
Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017
Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)
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
Statistical Model Checking for Scenario-based verification of ADAS
Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017
