Coupling Model Checking and PSA: A Case Study

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

Abstract

Performing exhaustive model checking for a digital instrumentation and control (I&C) system, when both hardware failures and the detailed functionality of the I&C system are considered, can be challenging due to scalability issues. In our previous work, we have proposed a coupling approach where the model checking analysis is restricted to a limited set of postulated hardware failures based on probabilistic safety assessment (PSA) results, potentially improving scalability of model checking. Based on the pilot case study using a small example system, the coupling approach should scale quite well to larger systems. In this paper, we study the applicability of the coupling approach by performing a case study using a more complex example system, based on a fictitious reference model of a boiling water nuclear reactor. Compared to unrestricted model checking analysis, the computation times decreased considerably when the analysis was restricted. Still, the overall process for introducing the failures requires a lot of manual labor, and needs to be automated.
Original languageEnglish
Title of host publicationProceedings of the 29th European Safety and Reliability Conference, ESREL 2019
EditorsMichael Beer, Enrico Zio
PublisherEuropean safety and reliability association
Pages2789-2796
Number of pages8
ISBN (Electronic)978-981-11-2724-3
DOIs
Publication statusPublished - 2019
MoE publication typeA4 Article in a conference publication
Event29th European Safety and Reliability Conference, ESREL 2019 - Welfenschloss, Hannover, Germany
Duration: 22 Sep 201926 Sep 2019
https://esrel2019.org/#/

Conference

Conference29th European Safety and Reliability Conference, ESREL 2019
CountryGermany
CityHannover
Period22/09/1926/09/19
Internet address

Keywords

  • Model checking
  • PSA
  • Digital I&C
  • Hardware failure
  • Verification
  • Scalability

Fingerprint Dive into the research topics of 'Coupling Model Checking and PSA: A Case Study'. Together they form a unique fingerprint.

  • Cite this

    Björkman, K., & Pakonen, A. (2019). Coupling Model Checking and PSA: A Case Study. In M. Beer, & E. Zio (Eds.), Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019 (pp. 2789-2796). European safety and reliability association. https://doi.org/10.3850/978-981-11-2724-3_0418-cd