• DE
  • Applications
    • Energy
      • Power Systems Intelligence
      • Standardized Systems Engineering and Assessment
      • Energy-efficient Smart Cities
      • Automation, Communication and Control
      • Simulation and Agents in Multiple Domains
      • Data Integration and Processing
    • 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
  • Research
    • Architecture Frameworks (AF)
    • Cyber Resilient Architectures and Security (CRAS)
    • Deep Learning (DL)
    • Embedded System Design (ESD)
    • Human Machine Cooperation (HMC)
    • 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
      • Power Systems Intelligence
      • Standardized Systems Engineering and Assessment
      • Energy-efficient Smart Cities
      • Automation, Communication and Control
      • Simulation and Agents in Multiple Domains
      • Data Integration and Processing
    • 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
  • Research
    • Architecture Frameworks (AF)
    • Cyber Resilient Architectures and Security (CRAS)
    • Deep Learning (DL)
    • Embedded System Design (ESD)
    • Human Machine Cooperation (HMC)
    • 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
        • 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: SEG07

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

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

Yang Gao

E-Mail: yang.gao(at)offis.de, Phone: +49 441 9722-481, Room: SEG12

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: SEG01

P

Stefan Puch

E-Mail: Stefan.Puch(at)offis.de, Phone: +49 441 9722-564, Room: D110

S

Dr. rer. nat. Ingo Stierand

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

W

Boris Wirtz

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

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

Projects

A

ARAMiS II

Automotive Railway Avionics Multicore Systems II

Duration: 2016 - 2019

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

Publications

2019

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

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
Analyzing Consistency of Formal Requirements

Jan Steffen Becker; 18th International Workshop on Automated Verification of Critical Systems; 2018

URL BIB
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; SAE World Congress Experience (WCX'18); 04 / 2018

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

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

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

URL BIB
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker

Becker, Jan Steffen; Formal Methods for Industrial Critical Systems; 2018

URL DOI BIB

2017

Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 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
EN: Alle Publikationen aus dem Bereich Safety & Security oriented Design Methods & Processes
PrivacyData TransparencyContactLegals