• DE
  • R+D Divisions
    • Energy
      • Power Systems Intelligence
      • Standardized Systems Engineering and Assessment
      • Automation, Communication and Control
      • Simulation and Agents in Multiple Domains
      • Data Integration and Processing
    • Health
      • Interactive Systems
      • Methods of Health Services Research
      • Data Management and Data Analysis
      • Automation and Integration Technology
    • Transportation
      • Cooperative Mobile Systems
      • Human Centered Design
      • Safety & Security oriented Design Methods & Processes
      • Safety & Security Oriented Analysis
      • Hardware / Software Design Methodology
      • Analysis of nanometric ICs
  • Competence Center
    • Ambient Health Technologies
    • Analytical Information Systems
    • Dependable Systems
    • Embedded Systems Design Automation
    • Human Machine Interaction
    • ICT For Smart Grids
  • OFFIS
    • Career
      • Vacancies
    • Downloads and Tools
      • Roadmaps and Studies
      • Datawork | OFFIS Journals
      • Annual Reports
    • Publications
    • Projects
    • Persons
    • About us
      • Organization
      • OFFIS-Memberships
      • Cooperation Partners
      • Society of Friends
      • Spin-offs
      • History
    • Contact
      • Directions
  • General
  • DE
  • R+D Divisions
    • Energy
      • Power Systems Intelligence
      • Standardized Systems Engineering and Assessment
      • Automation, Communication and Control
      • Simulation and Agents in Multiple Domains
      • Data Integration and Processing
    • Health
      • Interactive Systems
      • Methods of Health Services Research
      • Data Management and Data Analysis
      • Automation and Integration Technology
    • Transportation
      • Cooperative Mobile Systems
      • Human Centered Design
      • Safety & Security oriented Design Methods & Processes
      • Safety & Security Oriented Analysis
      • Hardware / Software Design Methodology
      • Analysis of nanometric ICs
  • Competence Center
    • Ambient Health Technologies
    • Analytical Information Systems
    • Dependable Systems
    • Embedded Systems Design Automation
    • Human Machine Interaction
    • ICT For Smart Grids
  • OFFIS
    • Career
      • Vacancies
    • Downloads and Tools
      • Roadmaps and Studies
      • Datawork | OFFIS Journals
      • Annual Reports
        • Archive
    • Publications
    • Projects
    • Persons
    • About us
      • Organization
        • General Assembly
        • Scientific Advisory Council
        • Administrative Council
      • OFFIS-Memberships
      • Cooperation Partners
      • Society of Friends
      • Spin-offs
      • History
    • Contact
      • Directions
  1. Home
  2. R+D Divisions
  3. Transportation
  4. Safety & Security Oriented Analysis

Safety & Security Oriented Analysis Electronic and networked systems are a fundamental element in all modern transportation systems. Cars, ships and aircrafts can no longer function without vast numbers of embedded systems.

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
Verkehr

Groups

  • Cooperative Mobile Systems
  • Human Centered Design
  • Safety & Security oriented Design Methods & Processes
  • Safety & Security Oriented Analysis
  • Hardware / Software Design Methodology
  • Analysis of nanometric ICs

Group Manager

Dipl.-Inform. Eckard Böde
Dipl.-Inform.
Eckard Böde

Persons

B

Eckard Böde

E-Mail: eckard.boede(at)offis.de, Phone: +49 441 9722-532, Room: Schuler EG 06

Dr.-Ing. Matthias Büker

E-Mail: matthias.bueker(at)offis.de, Phone: +49 441 9722-528, Room: O 120

E

Günter Ehmen

E-Mail: guenter.ehmen(at)offis.de, Phone: +49 441 9722-510, Room: O 107

F

PD Dr. Sibylle Fröschle

E-Mail: sibylle.froeschle(at)offis.de, Phone: +49 (0)441 9722 521, Room: Schuler EG 02

G

Marlon Gräfing

E-Mail: marlon.graefing(at)offis.de, Phone: +49 441 9722-477, Room: S-EG 3

Daniel Grujic

E-Mail: daniel.grujic(at)offis.de, Phone: +49 441 9722-710, Room: SEG 07

K

Björn Koopmann

E-Mail: bjoern.koopmann(at)offis.de, Phone: +49 441 9722-296, Room: O 122

Birte Kramer

E-Mail: birte.kramer(at)offis.de, Phone: +49 441 9722-235, Room: O 108

M

Eike Möhlmann

E-Mail: eike.moehlmann(at)offis.de, Room: SEG 04

R

Philipp Reinkemeier

E-Mail: philipp.reinkemeier(at)offis.de, Phone: +49 441 9722-400, Room: O 119

S

Thomas Strathmann

E-Mail: thomas.strathmann(at)offis.de, Phone: +49 441 9722-487, Room: Schuler EG 03

V

Sebastian Vander Maelen

E-Mail: sebastian.vander.maelen(at)offis.de, Phone: +49 441 9722-176

EN: Alle Personen aus dem Bereich Safety & Security Oriented Analysis

Projects

A

ARAMiS II

Automotive Railway Avionics Multicore Systems II

Duration: 2016 - 2019

ASSUME

Affordable Safe And Secure Mobility Evolution (sorry - only availble in german)

Duration: 2015 - 2018

D

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

BIB
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

URL DOI BIB
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

BIB

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

BIB
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

BIB
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

DOI BIB
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

URL BIB
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

BIB
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

BIB
Towards a Model-Based Safety and Security Analysis

Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017

URL BIB
EN: Alle Publikationen aus dem Bereich Safety & Security Oriented Analysis
PrivacyContactLegals