Integrated Application of Compositional and Behavioural Safety Analysis

摘要: The design complexity of modern safety critical systems presents various challenges for its assessment process. In recent years, Model-Based Safety Analysis (MBSA) has been proposed to achieve more-robust and effective techniques through automation the synthesis analysis predictive models. Two prominent paradigms MBSA are Compositional (CSA) Behavioural (BSA). These have emerged with little integration. this chapter, we present a technique which systematically integrates application CSA BSA. process starts from utilizes results provide systematic construction refinement state machines, can be subsequently analyzed An example car brake-by-wire system is presented illustrate technique.