Abstract
The verification of safety-critical systems using formal techniques is not something new[15]. Traditionally, safety-critical systems are verified using hazard analysis techniques, e.g., fault tree analysis. As safety-critical systems have become larger and more complex, several analysis techniques with compositional capabilities were developed. However, these techniques were not able to analyse stochastic systems. In this paper, we present a model-based compositional safety analysis technique (i.e., failure propagation analysis) and explore the feasibility of integrating this safety analysis technique with techniques of probabilistic model checking, more precisely the PRISM model checker. By doing so, we make it possible to rigorously verify a model while system failure behaviours are quantitatively analysed.
Original language | English |
---|---|
Title of host publication | SSIRI-C 2010 |
Subtitle of host publication | The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement Companion |
Place of Publication | Los Alamitos |
Publisher | IEEE |
Pages | 130-136 |
Number of pages | 7 |
ISBN (Electronic) | 9780769540870, 9781424476435 |
ISBN (Print) | 9781424476442 |
DOIs | |
Publication status | Published - 26 Jul 2010 |
Externally published | Yes |
Event | 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion - Singapore, Singapore Duration: 9 Jun 2010 → 11 Jun 2010 Conference number: 4 https://www.scimagojr.com/journalsearch.php?q=19700177339&tip=sid&clean=0 |
Conference
Conference | 4th IEEE International Conference on Secure Software Integration and Reliability Improvement Companion |
---|---|
Abbreviated title | SSIRI-C 2010 |
Country/Territory | Singapore |
City | Singapore |
Period | 9/06/10 → 11/06/10 |
Internet address |