Integrated application of compositional and behavioural safety analysis

Sharvia, Septavera; Papadopoulos, Yiannis

Abstract

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.

Citation

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. https://doi.org/10.1007/978-3-642-21393-9_14

• 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
• DOI: https://doi.org/10.1007/978-3-642-21393-9_14
• Keywords: Fault tree; Integrate application; Fault tree analysis; Abstract state machine
• Public URL: https://hull-repository.worktribe.com/output/3623365