Model-based Safety Analysis of a Flap Control System

摘要

Fault tree analysis is a widely adopted technique to systematically analyze causes for a givenrnfailure of a complex system. Traditionally, a fault tree is constructed top-down based on knowledgernabout the structure of the system and the interaction of subsystems. With the increasing systemrncomplexity and the accompanying introduction of model-based development techniques inrnthe industrial process, a substantial amount of this knowledge is laid down in the system models.rnThe main focus of the presented techniques and tools is to automatically exploit this knowledgernby extracting a fault tree suitable for FaulTree+ directly from a given design modeled in Statemate.rnThe resulting fault tree is complete wrt. the specified failure, i.e. the analysis considersrnevery possible causal failure combination which is guaranteed by applying model checking techniques.rnUsing an aircraft Flap control system this paper shows how to smoothly integrate therntechnique into an existing model-based process.