Skip to main content

Research Repository

Advanced Search

Integrating model checking with HiP-HOPS in model-based safety analysis

Sharvia, Septavera; Papadopoulos, Yiannis

Authors

Septavera Sharvia



Abstract

The ability to perform an effective and robust safety analysis on the design of modern safety–critical systems is crucial. Model-based safety analysis (MBSA) has been introduced in recent years to support the assessment of complex system design by focusing on the system model as the central artefact, and by automating the synthesis and analysis of failure-extended models. Model checking and failure logic synthesis and analysis (FLSA) are two prominent MBSA paradigms. Extensive research has placed emphasis on the development of these techniques, but discussion on their integration remains limited. In this paper, we propose a technique in which model checking and Hierarchically Performed Hazard Origin and Propagation Studies (HiP-HOPS) – an advanced FLSA technique – can be applied synergistically with benefit for the MBSA process. The application of the technique is illustrated through an example of a brake-by-wire system.

Citation

Sharvia, S., & Papadopoulos, Y. (2015). Integrating model checking with HiP-HOPS in model-based safety analysis. Reliability Engineering and System Safety, 135(March), 64-80. https://doi.org/10.1016/j.ress.2014.10.025

Acceptance Date Oct 31, 2014
Online Publication Date Nov 10, 2014
Publication Date 2015-03
Deposit Date Feb 24, 2016
Publicly Available Date Feb 24, 2016
Journal Reliability engineering & system safety
Print ISSN 0951-8320
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 135
Issue March
Pages 64-80
DOI https://doi.org/10.1016/j.ress.2014.10.025
Keywords HiP-HOPS; Fault tree analysis; Model checking; Model-based safety analysis; Failure-logic synthesis analysis; Fault tolerance
Public URL https://hull-repository.worktribe.com/output/411369
Publisher URL http://www.sciencedirect.com/science/article/pii/S0951832014002725
Copyright Statement © 2016, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
Additional Information Author's accepted manuscript of article published in: Reliability engineering & system safety, 2015, v.135.

Files

Article.pdf (2 Mb)
PDF

Publisher Licence URL
http://creativecommons.org/licenses/by-nc-nd/4.0/

Copyright Statement
© 2016, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/



You might also like



Downloadable Citations