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