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.
|Title of host publication||International Topical Meeting on Probabilistic Safety Assessment and Analysis|
|Publisher||Curran Associates Inc.|
|Publication status||Published - 2015|
|MoE publication type||A4 Article in a conference publication|
|Event||International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015 - Sun Valley, United States|
Duration: 26 Apr 2015 → 30 Apr 2015
|Conference||International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2015|
|Abbreviated title||PSA 2015|
|Period||26/04/15 → 30/04/15|
- model checking
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..