Abstract
| 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 | |
| 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 Sep 2016 → 29 Sep 2016 |
Conference
| Conference | 26th European Safety and Reliability Conference, ESREL 2016 |
|---|---|
| Abbreviated title | ESREL 2016 |
| Country | United Kingdom |
| City | Glasgow |
| Period | 25/09/16 → 29/09/16 |
Fingerprint
Keywords
- model checking
- probabilistic risk assessment
- integration
- nuclear power plant
- safety assessment
Cite this
}
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 - 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 -