NPP Safety Automation Systems Analysis: State of the Art

Janne Valkonen, Ilkka Karanta, Matti Koskimies, Keijo Heljanko, Ilkka Niemelä, Dan Sheridan, Robin E. Bloomfield

Research output: Book/ReportReport

Abstract

This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.
Original languageEnglish
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
Number of pages63
ISBN (Electronic)978-951-38-7158-1
Publication statusPublished - 2008
MoE publication typeNot Eligible

Publication series

SeriesVTT Working Papers
Number94

Fingerprint

Automation
Systems analysis
Model checking
Formal methods
Security systems
Specifications

Keywords

  • model checking
  • safety automation
  • safety case
  • formal verification
  • programmable logic controller
  • SAFIR2010

Cite this

Valkonen, J., Karanta, I., Koskimies, M., Heljanko, K., Niemelä, I., Sheridan, D., & Bloomfield, R. E. (2008). NPP Safety Automation Systems Analysis: State of the Art. Espoo: VTT Technical Research Centre of Finland. VTT Working Papers, No. 94
Valkonen, Janne ; Karanta, Ilkka ; Koskimies, Matti ; Heljanko, Keijo ; Niemelä, Ilkka ; Sheridan, Dan ; Bloomfield, Robin E. / NPP Safety Automation Systems Analysis : State of the Art. Espoo : VTT Technical Research Centre of Finland, 2008. 63 p. (VTT Working Papers; No. 94).
@book{dad6bd6020f941c691dae8017ffd121c,
title = "NPP Safety Automation Systems Analysis: State of the Art",
abstract = "This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.",
keywords = "model checking, safety automation, safety case, formal verification, programmable logic controller, SAFIR2010",
author = "Janne Valkonen and Ilkka Karanta and Matti Koskimies and Keijo Heljanko and Ilkka Niemel{\"a} and Dan Sheridan and Bloomfield, {Robin E.}",
note = "Project code: 23743",
year = "2008",
language = "English",
series = "VTT Working Papers",
publisher = "VTT Technical Research Centre of Finland",
number = "94",
address = "Finland",

}

Valkonen, J, Karanta, I, Koskimies, M, Heljanko, K, Niemelä, I, Sheridan, D & Bloomfield, RE 2008, NPP Safety Automation Systems Analysis: State of the Art. VTT Working Papers, no. 94, VTT Technical Research Centre of Finland, Espoo.

NPP Safety Automation Systems Analysis : State of the Art. / Valkonen, Janne; Karanta, Ilkka; Koskimies, Matti; Heljanko, Keijo; Niemelä, Ilkka; Sheridan, Dan; Bloomfield, Robin E.

Espoo : VTT Technical Research Centre of Finland, 2008. 63 p. (VTT Working Papers; No. 94).

Research output: Book/ReportReport

TY - BOOK

T1 - NPP Safety Automation Systems Analysis

T2 - State of the Art

AU - Valkonen, Janne

AU - Karanta, Ilkka

AU - Koskimies, Matti

AU - Heljanko, Keijo

AU - Niemelä, Ilkka

AU - Sheridan, Dan

AU - Bloomfield, Robin E.

N1 - Project code: 23743

PY - 2008

Y1 - 2008

N2 - This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.

AB - This report describes the state of the art of formal methods and models applied in safety evaluation of nuclear and other industrial safety systems. Special attention is drawn to a technique called model checking that is a set of methods for analysing whether a model of a system fulfils its specifications by examining all of its possible behaviours. The report describes the scope and requirements for safety evaluation and introduces typical safety assessment approaches. The Safety Case concept is also described and discussed how it could be combined with model checking.

KW - model checking

KW - safety automation

KW - safety case

KW - formal verification

KW - programmable logic controller

KW - SAFIR2010

M3 - Report

T3 - VTT Working Papers

BT - NPP Safety Automation Systems Analysis

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Valkonen J, Karanta I, Koskimies M, Heljanko K, Niemelä I, Sheridan D et al. NPP Safety Automation Systems Analysis: State of the Art. Espoo: VTT Technical Research Centre of Finland, 2008. 63 p. (VTT Working Papers; No. 94).