Coupling Model Checking and PSA: A Case Study

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


    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
    ISBN (Electronic)978-981-11-2724-3
    Publication statusPublished - 2019
    MoE publication typeA4 Article in a conference publication
    Event29th European Safety and Reliability Conference - Welfenschloss, Hannover, Germany
    Duration: 22 Sep 201926 Sep 2019
    Conference number: 29


    Conference29th European Safety and Reliability Conference
    Abbreviated titleESREL 2019
    Internet address



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

    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-2797). European safety and reliability association.