Projects per year
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 | |
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 |
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.
Projects
- 1 Finished
-
SAFIR 2018: The Finnish Research Programme on Nuclear Power Plant Safety 2015 - 2018
1/01/15 → 31/12/18
Project: Research