Dr Septavera Sharvia S.Sharvia@hull.ac.uk
Lecturer
Integrating model checking with HiP-HOPS in model-based safety analysis
Sharvia, Septavera; Papadopoulos, Yiannis
Authors
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
Professor
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 |
Additional Information | Author's accepted manuscript of article published in: Reliability engineering & system safety, 2015, v.135. |
Files
Article.pdf
(2 Mb)
PDF
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
PCG signals for biometric authentication systems: An in-depth review
(2021)
Journal Article
Model-connected safety cases
(2017)
Journal Article
A synthesis of logic and bio-inspired techniques in the design of dependable systems
(2016)
Journal Article
Model transformation for multi-objective architecture optimisation of dependable systems
(2015)
Journal Article
A safety analysis approach to clinical workflows : application and evaluation
(2014)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
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/)
Powered by Worktribe © 2024
Advanced Search