Qualitative diagnostic toolbox employing propagation models

The main motivation of the presented work is to realise a prototype of the CAD tool that supports the whole life cycle of the diagnostic system development process. In the proposed approach, the fault trees are automatically derived from component models. The automatic synthesis incorporates the feedback control loop structure. Fault trees are then transformed into diagnostic rules. The implemented CAD tool allows for rule processing by using the Transferable Belief Model (TBM). The limitations of the component-based synthesis of fault trees are discussed.