• DE
  • Applications
    • Energy
      • Co-Simulation of Multi-Modal Energy Systems
      • Distributed Artificial Intelligence
      • Data Integration and Processing
      • Energy-efficient Smart Cities
      • Power Systems Intelligence
      • Resilient Monitoring and Control
      • Standardized Systems Engineering and Assessment
    • Health
      • Interactive Systems
      • Data Management and Analysis for Health Services Research
      • Automation and Integration Technology
      • Biomedical Devices and Systems
    • Manufacturing
      • Smart Human Robot Collaboration
      • Manufacturing Operations Management
      • Distributed Computing and Communication
    • Transportation
      • Cooperative Mobile Systems
      • Human Centered Design
      • Safety & Security oriented Design Methods & Processes
      • Safety & Security Oriented Analysis
      • Hardware / Software Design Methodology
  • Living Labs
    • eMIR
      • Current Applications
    • Transport Simulator
    • IDEAAL
    • Model Factory
    • SESA
    • Fliegerhorst (Air Base) Smart City
  • Research
    • Architecture Frameworks (AF)
    • Cyber-Resilient Architectures and Security (CRAS)
    • Deep Learning (DL)
    • Embedded System Design (ESD)
    • Human Machine Cooperation (HMC)
    • Artificial Intelligence (AI)
    • Multi-Scale Multi-Rate Simulation (MS²)
    • Safety Relevant Cyber Physical Systems (SRCPS)
  • OFFIS
    • News
      • Events
    • 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
  • Applications
    • Energy
      • Co-Simulation of Multi-Modal Energy Systems
      • Distributed Artificial Intelligence
      • Data Integration and Processing
      • Energy-efficient Smart Cities
      • Power Systems Intelligence
      • Resilient Monitoring and Control
      • Standardized Systems Engineering and Assessment
    • Health
      • Interactive Systems
      • Data Management and Analysis for Health Services Research
        • Health Services Research
        • Information Logistics
        • Analytical Applications
        • Data Protection & Data Security
      • Automation and Integration Technology
      • Biomedical Devices and Systems
    • Manufacturing
      • Smart Human Robot Collaboration
      • Manufacturing Operations Management
      • Distributed Computing and Communication
    • Transportation
      • Cooperative Mobile Systems
      • Human Centered Design
      • Safety & Security oriented Design Methods & Processes
      • Safety & Security Oriented Analysis
      • Hardware / Software Design Methodology
  • Living Labs
    • eMIR
      • Current Applications
    • Transport Simulator
    • IDEAAL
    • Model Factory
    • SESA
    • Fliegerhorst (Air Base) Smart City
  • Research
    • Architecture Frameworks (AF)
    • Cyber-Resilient Architectures and Security (CRAS)
    • Deep Learning (DL)
    • Embedded System Design (ESD)
    • Human Machine Cooperation (HMC)
    • Artificial Intelligence (AI)
    • Multi-Scale Multi-Rate Simulation (MS²)
    • Safety Relevant Cyber Physical Systems (SRCPS)
  • OFFIS
    • News
      • Events
    • Career
      • Vacancies
        • About Applications
    • 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. Applications
  3. Transportation
  4. Safety & Security oriented Design Methods & Processes

Safety & Security Oriented Design Methods & Processes The growth of automated functions available in road, air, and sea vehicles and in their corresponding infrastructures has long since encompassed also safety-relevant features, leading to a situation where life and health of humans crucially depends on the absence of potential hazards in these systems.

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.

Groups

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

Group Manager

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

Persons

B

Yosab Bebawy

E-Mail: yosab.bebawy(at)offis.de, Phone: +49 441 9722-452, Room: SEG03

Jan Steffen Becker

E-Mail: jan.steffen.becker(at)offis.de, Phone: +49 441 9722-529, Room: SEG11

Eckard Böde

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

Philipp Borchers

E-Mail: philipp.borchers(at)offis.de, Phone: +49 441 9722-481, Room: SEG01

F

Linda Feeken

E-Mail: linda.feeken(at)offis.de, Phone: +49 441 9722-482, Room: SEG01

G

Malin Gandor

E-Mail: malin.gandor(at)offis.de, Phone: +49 441 9722-400, Room: O123

Daniel Grujic

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

N

Dr. rer. nat. Christian Neurohr

E-Mail: christian.neurohr(at)offis.de, Phone: +49 441 9722-593, Room: SEG12

S

Dr. rer. nat. Ingo Stierand

E-Mail: Ingo.Stierand(at)offis.de, Phone: +49 441 9722-527, Room: O111

W

Lukas Westhofen

E-Mail: lukas.westhofen(at)offis.de, Phone: +49 441 9722-477, Room: SEG12

Boris Wirtz

E-Mail: boris.wirtz(at)offis.de, Phone: +49 441 9722-539, Room: SEG02

EN: Alle Personen aus dem Bereich Safety & Security oriented Design Methods & Processes

Projects

A

AI-Delta Learning

AI-Delta Learning

Duration: 2020 - 2022

C

CF1

CyberFactory#1

Duration: 2019 - 2022

P

PANORAMA

Boosting Design Efficiency for Heterogeneous³ Systems

Duration: 2019 - 2022

S

Step-Up!CPS

Software Methods and Technologies for Modular Updates of Cyber-Physical Systems

Duration: 2018 - 2021

T

TESTOMAT

The Next Level of Test Automation

Duration: 2017 - 2020

V

ViVre

Vernetzung virtualisierter Verkehrsinfrastrukturen und automatisierter Fahrfunktionen für nachhaltige Mobilitätslösungen

Duration: 2019 - 2021

Publications

2020

Benchmarking Software Model Checkers on Automotive Code

Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter; NASA Formal Methods; 2020

URL BIB
Fundamental Considerations around Scenario-Based Testing for Automated Driving

Neurohr, Christian and Westhofen, Lukas and Henning, Tabea and de Graaff, Thies and Möhlmann, Eike and Böde, Eckard; 2020 IEEE Intelligent Vehicles Symposium (IV); 2020

URL BIB

2019

An Approach for Safety Assessment for Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System

Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn; 2019 4th International Conference on System Reliability and Safety (ICSRS); 2019

BIB
ENABLE-S3 Demonstrator Overview: Final Results

ENABLE-S3 Consortium; May / 2019

URL BIB
Identifikation und Quantifizierung von Automationsrisiken für hochautomatisierte Fahrfunktionen

Eckard Böde, Matthias Büker, Werner Damm, Martin Fränzle, Birte Kramer, Christian Neurohr, Sebastian Vander Maelen; Juli / 2019

URL BIB
Multi-Layer Time Coherency in the Development of ADAS/AD Systems: Design Approach and Tooling

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

DOI BIB
MULTIC-Tooling

Eckard Böde and Werner Damm and Günter Ehmen and Martin Fränzle and Kim Grüttner and Philipp Ittershagen and Bernhard Josko and Björn Koopmann and Frank Poppen and Michael Siegel and Ingo Stierand; FAT-Schriftenreihe 316; 06 / 2019

URL BIB
Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme

Stefan Puch; 2019

URL BIB
Testing & Validation of Highly Automated Systems

Andrea Leitner, Arnold Akkermann, Bjørn Åge Hjøllo, Boris Wirtz, Dejan Nickovic, Eike Möhlmann, Hannes Holzer, Jaap van der Voet, Jürgen Niehaus, Mathieu Sarrazin, Marc Zofka, Martijn Rooker, Martin Kubisch, Michael Paulweber, Michael Siegel, Mika Rautila, Nadja Marko, Peter Tummeltshammer, Philipp Rosenberger, Relindis Rott, Stefan Muckenhuber, Sytze Kalisvaart, Thies de Graaff, Thomas D‘Hondt, Tobias Fleck, Zora Slavik; May / 2019

URL BIB

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

URL DOI BIB
EN: Alle Publikationen aus dem Bereich Safety & Security oriented Design Methods & Processes
PrivacyData TransparencyContactLegals