Integrating model checking and PRA

A novel safety assessment approach for digital I&C systems

Jussi Lahtinen, Kim Björkman

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. Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. The safety and reliability analysis of such systems is challenging, and a range of techniques is used for analysing the systems both probabilistically and deterministically. We have focused on the use of two different analysis approaches: model checking and probabilistic risk assessment (PRA).
Original languageEnglish
Title of host publicationRisk, Reliability and Safety
Subtitle of host publicationInnovating Theory and Practice
EditorsLesley Walls, Matthew Revie, Tim Bedford
PublisherCRC Press
ISBN (Electronic)978-1-315-37498-7
ISBN (Print)978-1-138-02997-2
DOIs
Publication statusPublished - 25 Nov 2016
MoE publication typeA4 Article in a conference publication
Event26th European Safety and Reliability Conference, ESREL 2016 - Glasgow, United Kingdom
Duration: 25 Sep 201629 Sep 2016

Conference

Conference26th European Safety and Reliability Conference, ESREL 2016
Abbreviated titleESREL 2016
CountryUnited Kingdom
CityGlasgow
Period25/09/1629/09/16

Fingerprint

Model checking
Risk assessment
Nuclear power plants
Reliability analysis

Keywords

  • model checking
  • probabilistic risk assessment
  • integration
  • nuclear power plant
  • safety assessment

Cite this

Lahtinen, J., & Björkman, K. (2016). Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems. In L. Walls, M. Revie, & T. Bedford (Eds.), Risk, Reliability and Safety: Innovating Theory and Practice [383] CRC Press. https://doi.org/10.1201/9781315374987-356
Lahtinen, Jussi ; Björkman, Kim. / Integrating model checking and PRA : A novel safety assessment approach for digital I&C systems. Risk, Reliability and Safety: Innovating Theory and Practice. editor / Lesley Walls ; Matthew Revie ; Tim Bedford. CRC Press, 2016.
@inproceedings{694b815677274764ad176c6699340567,
title = "Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems",
abstract = "Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. The safety and reliability analysis of such systems is challenging, and a range of techniques is used for analysing the systems both probabilistically and deterministically. We have focused on the use of two different analysis approaches: model checking and probabilistic risk assessment (PRA).",
keywords = "model checking, probabilistic risk assessment, integration, nuclear power plant, safety assessment",
author = "Jussi Lahtinen and Kim Bj{\"o}rkman",
note = "Project code: 108550",
year = "2016",
month = "11",
day = "25",
doi = "10.1201/9781315374987-356",
language = "English",
isbn = "978-1-138-02997-2",
editor = "Lesley Walls and Matthew Revie and Tim Bedford",
booktitle = "Risk, Reliability and Safety",
publisher = "CRC Press",
address = "United States",

}

Lahtinen, J & Björkman, K 2016, Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems. in L Walls, M Revie & T Bedford (eds), Risk, Reliability and Safety: Innovating Theory and Practice., 383, CRC Press, 26th European Safety and Reliability Conference, ESREL 2016, Glasgow, United Kingdom, 25/09/16. https://doi.org/10.1201/9781315374987-356

Integrating model checking and PRA : A novel safety assessment approach for digital I&C systems. / Lahtinen, Jussi; Björkman, Kim.

Risk, Reliability and Safety: Innovating Theory and Practice. ed. / Lesley Walls; Matthew Revie; Tim Bedford. CRC Press, 2016. 383.

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

TY - GEN

T1 - Integrating model checking and PRA

T2 - A novel safety assessment approach for digital I&C systems

AU - Lahtinen, Jussi

AU - Björkman, Kim

N1 - Project code: 108550

PY - 2016/11/25

Y1 - 2016/11/25

N2 - Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. The safety and reliability analysis of such systems is challenging, and a range of techniques is used for analysing the systems both probabilistically and deterministically. We have focused on the use of two different analysis approaches: model checking and probabilistic risk assessment (PRA).

AB - Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. Digital instrumentation and control (I&C) systems play an important role in the operation of nuclear power plants. The safety and reliability analysis of such systems is challenging, and a range of techniques is used for analysing the systems both probabilistically and deterministically. We have focused on the use of two different analysis approaches: model checking and probabilistic risk assessment (PRA).

KW - model checking

KW - probabilistic risk assessment

KW - integration

KW - nuclear power plant

KW - safety assessment

U2 - 10.1201/9781315374987-356

DO - 10.1201/9781315374987-356

M3 - Conference article in proceedings

SN - 978-1-138-02997-2

BT - Risk, Reliability and Safety

A2 - Walls, Lesley

A2 - Revie, Matthew

A2 - Bedford, Tim

PB - CRC Press

ER -

Lahtinen J, Björkman K. Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems. In Walls L, Revie M, Bedford T, editors, Risk, Reliability and Safety: Innovating Theory and Practice. CRC Press. 2016. 383 https://doi.org/10.1201/9781315374987-356