Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems

Jussi Lahtinen; Kim Björkman

doi:10.1201/9781315374987-356

Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems

VTT (former employee or external)

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 language	English
Title of host publication	Risk, Reliability and Safety
Subtitle of host publication	Innovating Theory and Practice
Editors	Lesley Walls, Matthew Revie, Tim Bedford
Publisher	CRC Press
ISBN (Electronic)	978-1-315-37498-7
ISBN (Print)	978-1-138-02997-2
DOIs	https://doi.org/10.1201/9781315374987-356
Publication status	Published - 25 Nov 2016
MoE publication type	A4 Article in a conference publication
Event	26th European Safety and Reliability Conference, ESREL 2016 - Glasgow, United Kingdom Duration: 25 Sept 2016 → 29 Sept 2016

Conference

Conference	26th European Safety and Reliability Conference, ESREL 2016
Abbreviated title	ESREL 2016
Country/Territory	United Kingdom
City	Glasgow
Period	25/09/16 → 29/09/16

Keywords

model checking
probabilistic risk assessment
integration
nuclear power plant
safety assessment

Access to Document

10.1201/9781315374987-356

SAUNA: Integrated safety assessment and justification of nuclear power plant automation
Pakonen, A. (Manager), Tommila, T. (Participant), Alanen, J. (Participant), Björkman, K. (Participant), Laarni, J. (Participant), Lahtinen, J. (Participant), Oedewald, P. (Participant), Papakonstantinou, N. (Participant), Reiman, T. (Participant), Tyrväinen, T. (Participant), Valkonen, J. (Participant), Koskinen, H. (Participant), Porthin, M. (Participant), Savioja, P. (Participant), Linnosmaa, J. (Participant), Vyatkin, V. (Participant), Pang, C. (Participant), Buzhinsky, I. (Participant), Varkoi, T. (Participant), Nevalainen, R. (Participant), Holmberg, J.-E. (Participant), Uusitalo, E. (Participant) & Koskela, M. (Participant)
1/02/15 → 31/01/19
Project: Research
SAFIR 2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015 - 2018
1/01/15 → 31/03/19
Project: Research

Cite this

@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; 26th European Safety and Reliability Conference, ESREL 2016, ESREL 2016 ; Conference date: 25-09-2016 Through 29-09-2016",

year = "2016",

month = nov,

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 proceeding › Conference article in proceedings › Scientific › peer-review

TY - GEN

T1 - Integrating model checking and PRA

T2 - 26th European Safety and Reliability Conference, ESREL 2016

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

Y2 - 25 September 2016 through 29 September 2016

ER -

Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems

Abstract

Conference

Keywords

Access to Document

Fingerprint

Projects

SAUNA: Integrated safety assessment and justification of nuclear power plant automation

SAFIR 2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015 - 2018

Cite this