Coupling model checking and PRA for safety analysis of digital I&C systems

Kim Björkman, Jussi Lahtinen, Tero Tyrväinen, Jan-Erik Holmberg

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

Abstract

Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants (NPP). Due to many unique features of digital systems the safety and reliability analysis of such systems can be challenging. There are several methods used for analyzing the safety and reliability of digital systems in NPP with their strengths and weaknesses. In this paper, the focus is on model checking and fault tree analysis (FTA) in the context of probabilistic risk assessment (PRA). Model checking is a computer-aided verification method developed to formally verify the correct functioning of a system design model by examining all of its possible behaviors. Fault tree analysis is a top down approach used for failure analysis. In this paper the two approaches are presented and compared in the modelling of an example system and their benefits and limitations are discussed. The example system used with both approaches is a fictive boiling water reactor. Additionally, ways to couple these methods to enable more extensive or practical safety analysis of digital systems are proposed.
Original languageEnglish
Title of host publicationInternational Topical Meeting on Probabilistic Safety Assessment and Analysis
PublisherCurran Associates Inc.
Pages384-392
ISBN (Print)978-1-5108-0811-9
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication
EventInternational Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015 - Sun Valley, United States
Duration: 26 Apr 201530 Apr 2015

Conference

ConferenceInternational Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015
Abbreviated titlePSA 2015
CountryUnited States
City Sun Valley
Period26/04/1530/04/15

Keywords

  • model checking
  • PRA

Fingerprint Dive into the research topics of 'Coupling model checking and PRA for safety analysis of digital I&C systems'. Together they form a unique fingerprint.

  • Cite this

    Björkman, K., Lahtinen, J., Tyrväinen, T., & Holmberg, J-E. (2015). Coupling model checking and PRA for safety analysis of digital I&C systems. In International Topical Meeting on Probabilistic Safety Assessment and Analysis (pp. 384-392). Curran Associates Inc..