Safety Analysis & Verification

Growing requirements on mobility and safety, and also the wish to always stay online in transit, lead to an exponential growing number of functions in cars.

To be able to ensure safety in spite of this complexity according to the strict requirements of the aviation and aerospace industry, train domain, as well as automotive industry, OFFIS develops in this subject area methodologies to prove the safety of embedded systems that are integrated in these products. These stretch from an early functional hazard analysis and comprehensive mutual reactions of failures in-between mechanic, hydraulic, electric, and hardware/software components, to the analysis of the erratic behavior of hardware components. Model-based analysis methods for the determination of error effects and causes, as well as formal methods for the coverage of the necessary argumentation for proof of safety, belong to this. With adherence to actual safety standards, these can be integrated into platforms for the industrial development of safety critical systems and, thereby, improve the actual international standards just as well as the costs of system development. OFFIS also positions its experience in safety analysis and real-time analysis techniques as a development member in Autosar.

OFFIS is working on this subjects in the groups:

  • SAV RSM - Requirements, Specifications and Models
  • SAV DAT - Dependability Analysis Techniques

Members of the Groups

Project Overview

Find out more about the projects of these groups.

List of Publications

Your link to the list of the publications in these groups.

Members of these Groups

Your link to the list of the members of these groups.