Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie (Volume 13) (English shop)

Preview

Table of Contents, Datei (37 KB)
Extract, Datei (150 KB)

High demands on the functional safety of an automobile require a development approach in which compliance with functional safety can be verified. In practice, Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) are used to verify functional safety. The increasing proportion of precise formal models in development makes it possible to meet the growing requirements of standards and of the automotive industry with respect to functional safety. With suitable formal models, verification can furthermore be partially automated, thus bringing the quality of development to a consistently high level.

The focus of this work is the design of formal models and modelling techniques with which FMEA and FTA can be carried out formally. The models and modelling techniques describe the behaviour of systems or relationships between system behaviours. They are suitable for integration with existing development artefacts. The behavioural modelling is adapted to the modelling tools used in development, such as SimulinkTM, and to the documents used in development. Consistent with the behavioural modelling, modelling techniques for faulty behaviour are defined. Faulty behaviour is expressed as modifications of the intended behaviour. In order to capture the possible faulty behaviours of a system, potential faults that can cause faulty behaviour are specified. For the respective modelling techniques for faults, the notion of fault relationship is formally defined in general terms. Furthermore, specific relationships used in the FMEA and FTA methods are formalised in order to enable automation. Finally, the work outlines possibilities for automating the execution of the analyses.