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: