Dr Septavera Sharvia S.Sharvia@hull.ac.uk
Lecturer
Dr Septavera Sharvia S.Sharvia@hull.ac.uk
Lecturer
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
Wojciech Zamojski
Editor
Janusz Kacprzyk
Editor
Jacek Mazurkiewicz
Editor
Jaros?aw Sugier
Editor
Tomasz Walkowiak
Editor
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. 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 |
A safety analysis approach to clinical workflows : application and evaluation
(2014)
Journal Article
Enhancing the EAST-ADL error model with HiP-HOPS semantics
(2014)
Journal Article
An approach to safety analysis of clinical workflows
(2014)
Journal Article
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
Apache License Version 2.0 (http://www.apache.org/licenses/)
Apache License Version 2.0 (http://www.apache.org/licenses/)
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Advanced Search