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
    Country/TerritoryUnited Kingdom
    CityGlasgow
    Period25/09/1629/09/16

    Keywords

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

    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