New Methodology for Model-Based Safety Analysis

Model-Based Safety Analysis (MBSA) is an approach in which the system and safety engineers share a common system model created using a model based development process. There are two famous approaches for the addition of fault behaviors to system models. The first one is to enclose the model of failures into the system design directly. The second approach is to develop a fault model separately from the system model; thus combining both independent models for safety analysis. This paper introduces a new Methodology of MBSA. The approach will combine various concepts such as directed graph traversal, event lists. A prototype tool is developed upon object oriented paradigm. The tool shall be tested on the famous Wheel Brake System. The results will be analyzed; advantages/disadvantages will be represented.