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 proceeding › Conference article in proceedings › Scientific › peer-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 2016 → 29 Sep 2016

Conference

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

Keywords

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

Access to Document

Fingerprint Dive into the research topics of 'Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems'. Together they form a unique fingerprint.

Cite this