
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:
E-Mail: sibylle.froeschle(at)offis.de, Phone: +49 (0)441 9722 521, Room: Schuler EG 02
E-Mail: thomas.strathmann(at)offis.de, Phone: +49 441 9722-487, Room: Schuler EG 03
Affordable Safe And Secure Mobility Evolution (sorry - only availble in german)
Duration: 2015 - 2018Duration: 2017 - 2019
European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Duration: 2016 - 2019Gü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
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
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Embedded Real Time Software and Systems - ERTS2018; February / 2018
Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Festschrift in honor of Edmund A. Lee; October / 2017
Sibylle Fröschle and Alexander Stühring; European Symposium on Research in Computer Security (ESORICS'17), Part I; 2017
Tayfun Gezgin and Björn Koopmann and Achim Rettberg; System Level Design from HW/SW to Memory for Embedded Systems; 01 / 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
M. Brinkmann, E. Böde, A. Lamm, S. Vander Maelen and A. Hahn; Proceedings of Oceans 2017; 2017
Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017
Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017