IACoB-SA: An approach towards integrated safety assessment

Model-Based Safety Analysis (MBSA) techniques have been introduced to address the challenges arising from the increasing scale and complexity of modern safety critical systems. Focus has been placed on automating the synthesis and analysis of failure-extended models. The two most prominent paradigms in MSBA are the Compositional Safety Analysis (CSA) and Behavioural Safety Analysis (BSA). These techniques have emerged with little integration and often viewed as competing alternatives. In this paper, we propose a technique in which the application of CSA and BSA can be synergistically combined. The results from CSA can provide the basis for systematic construction and refinement of state machines, which can be verified through BSA. The application of the proposed approach is illustrated through an example of an aircraft wheel-brake system.