Many of the upcoming innovations in transportation are based on systems of systems (SoS) and cyber-physical systems (CPS) where the individual vehicle is integrated into a larger conglomerate. These networks of (intelligent) systems are seen as a main enabler for future application such as fully automated driving and navigating. However in order to guarantee that the benefits of the new technology are not jeopardized by risks rooted in the inherent complexity or security vulnerabilities efficient Verification and Validation (V&V) is required.
Our main objective is to provide engineers with the means to analyse such systems, identifying potential flaws in the architecture or implemented behaviour that might impact on the intended function and performance or threaten safety and security. In the S2A group the focus is on developing formal verification, simulation, testing and optimization methods and tools that enable:
- Seamless model based safety and security analysis, using detailed fault and attack models, to check a system’s robustness against dysfunctional and malicious disturbances
- Quantifying perception uncertainties in cyber-physical systems and statistically evaluating their impact on the safety properties as well as determining the test-case coverage with respect to application scenarios
- Requirements analysis checking for consistency, correctness, and completeness
- Early V&V of components and systems based on virtual integration and compositional analysis using contract specifications for functional, timing, safety and security properties
- Design space exploration to identify the best implementation alternative that satisfies all functional and non-functional requirements
Persons 
B
E
F
PD Dr. Sibylle Fröschle
E-Mail: sibylle.froeschle(at)offis.de, Phone: +49 (0)441 9722 521, Room: Schuler EG 02
G
K
M
R
S
Thomas Strathmann
E-Mail: thomas.strathmann(at)offis.de, Phone: +49 441 9722-487, Room: Schuler EG 03
V
Projects
A
ASSUME
Affordable Safe And Secure Mobility Evolution (sorry - only availble in german)
Duration: 2015 - 2018D
Digitaler Knoten 4.0
Duration: 2017 - 2019
E
ENABLE-S3
European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Duration: 2016 - 2019 Publications
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
Contracts for System Design
Benveniste, Albert and Caillaud, Benoît and Nickovic, Dejan and Passerone, Roberto and Raclet, Jean-Baptiste and Reinkemeier, Philipp and Sangiovanni-Vincentelli, Alberto and Damm, Werner and Henzinger, Tom and Larsen, Kim; Foundations and Trends in Electronic Design Automation; 2018
Traffic Sequence Charts - A Visual Language for Capturing Traffic Scenarios
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Embedded Real Time Software and Systems - ERTS2018; February / 2018
2017
A Formal Semantics for Traffic Sequence Charts
Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Festschrift in honor of Edmund A. Lee; October / 2017
Analyzing the Capabilities of the CAN Attacker
Sibylle Fröschle and Alexander Stühring; European Symposium on Research in Computer Security (ESORICS'17), Part I; 2017
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique
Tayfun Gezgin and Björn Koopmann and Achim Rettberg; System Level Design from HW/SW to Memory for Embedded Systems; 01 / 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
Learning from Automotive: Testing Maritime Assistance Systems up to Autonomous Vessels.
M. Brinkmann, E. Böde, A. Lamm, S. Vander Maelen and A. Hahn; Proceedings of Oceans 2017; 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
Towards a Model-Based Safety and Security Analysis
Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017
