Skip to main content

Research Repository

Advanced Search

Integrated application of compositional and behavioural safety analysis

Sharvia, Septavera; Papadopoulos, Yiannis



Wojciech Zamojski

Janusz Kacprzyk

Jacek Mazurkiewicz

Jaros?aw Sugier

Tomasz Walkowiak


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


Sharvia, S., & Papadopoulos, Y. (2011). Integrated application of compositional and behavioural safety analysis. In W. Zamojski, J. Kacprzyk, J. Mazurkiewicz, J. Sugier, & T. Walkowiak (Eds.), Dependable Computer Systems (179-192). Berlin: Springer.

Publication Date Sep 26, 2011
Deposit Date Sep 9, 2021
Publisher Springer
Pages 179-192
Series Title Advances in Intelligent and Soft Computing
Series Number 97
Series ISSN 1867-5662
Book Title Dependable Computer Systems
ISBN 9783642213922
Keywords Fault tree; Integrate application; Fault tree analysis; Abstract state machine
Public URL