Safety and security of overall I&C architectures (SEARCH)

Antti Pakonen; Jarmo Alanen; Kim Björkman; Atte Helminen; Joonas Linnosmaa; Timo Malm; Teemu Mätäsniemi; Nikolaos Papakonstantinou; Juha Pärssinen; Polina Ovsiannikova; Valery Vyatkin

Safety and security of overall I&C architectures (SEARCH)

Antti Pakonen
, Jarmo Alanen
, Kim Björkman
, Atte Helminen
, Joonas Linnosmaa
, Timo Malm
, Teemu Mätäsniemi
, Nikolaos Papakonstantinou
, Juha Pärssinen
, Polina Ovsiannikova
, Valery Vyatkin

Aalto University

Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Professional

Abstract

The objective of SEARCH (2019–2022) was to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures, based on Model-Based Systems Engineering (MBSE) practices. We developed (1) tools for analysing Defence-in-Depth properties, (2) methods for the hybrid assessment of safety and security, as well as (3) data models to support conformity assessment and design iteration.

A particular focus was on broadening the scope in which a formal verification method called model checking could be used. We developed methods for software verification, where we also account for failures and communication delay in the underlying hardware architecture. We also developed tools for finding the root cause of counterexamples, and our capabilities to verify infinite-domain models.

Original language	English
Title of host publication	SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022
Subtitle of host publication	Final Report
Publisher	VTT Technical Research Centre of Finland
Pages	117-146
ISBN (Electronic)	978-951-38-8776-6
Publication status	Published - 2023
MoE publication type	D2 Article in professional manuals or guides or professional information systems or text book material

Publication series

Series	VTT Technology
Number	414
ISSN	2242-1211

Access to Document

Cite this

Pakonen, A., Alanen, J., Björkman, K., Helminen, A., Linnosmaa, J., Malm, T., Mätäsniemi, T., Papakonstantinou, N., Pärssinen, J., Ovsiannikova, P., & Vyatkin, V. (2023). Safety and security of overall I&C architectures (SEARCH). In SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Final Report (pp. 117-146). VTT Technical Research Centre of Finland. https://doi.org/10.32040/2242-122X.2023.T414

@inbook{516278359e814d9fb4897497b0fc340f,

title = "Safety and security of overall I\&C architectures (SEARCH)",

abstract = " The objective of SEARCH (2019{\textendash}2022) was to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I\&C) system architectures, based on Model-Based Systems Engineering (MBSE) practices. We developed (1) tools for analysing Defence-in-Depth properties, (2) methods for the hybrid assessment of safety and security, as well as (3) data models to support conformity assessment and design iteration. A particular focus was on broadening the scope in which a formal verification method called model checking could be used. We developed methods for software verification, where we also account for failures and communication delay in the underlying hardware architecture. We also developed tools for finding the root cause of counterexamples, and our capabilities to verify infinite-domain models.",

author = "Antti Pakonen and Jarmo Alanen and Kim Bj{\"o}rkman and Atte Helminen and Joonas Linnosmaa and Timo Malm and Teemu M{\"a}t{\"a}sniemi and Nikolaos Papakonstantinou and Juha P{\"a}rssinen and Polina Ovsiannikova and Valery Vyatkin",

year = "2023",

language = "English",

series = "VTT Technology",

publisher = "VTT Technical Research Centre of Finland",

number = "414",

pages = "117--146",

booktitle = "SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022",

address = "Finland",

}

Pakonen, A, Alanen, J, Björkman, K , Helminen, A , Linnosmaa, J, Malm, T, Mätäsniemi, T, Papakonstantinou, N, Pärssinen, J, Ovsiannikova, P & Vyatkin, V 2023, Safety and security of overall I&C architectures (SEARCH). in SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Final Report. VTT Technical Research Centre of Finland, VTT Technology, no. 414, pp. 117-146. <https://doi.org/10.32040/2242-122X.2023.T414>

Safety and security of overall I&C architectures (SEARCH). / Pakonen, Antti; Alanen, Jarmo; Björkman, Kim et al.
SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Final Report. VTT Technical Research Centre of Finland, 2023. p. 117-146 (VTT Technology; No. 414).

Research output: Chapter in Book/Report/Conference proceeding › Chapter or book article › Professional

TY - CHAP

T1 - Safety and security of overall I&C architectures (SEARCH)

AU - Pakonen, Antti

AU - Alanen, Jarmo

AU - Björkman, Kim

AU - Helminen, Atte

AU - Linnosmaa, Joonas

AU - Malm, Timo

AU - Mätäsniemi, Teemu

AU - Papakonstantinou, Nikolaos

AU - Pärssinen, Juha

AU - Ovsiannikova, Polina

AU - Vyatkin, Valery

PY - 2023

Y1 - 2023

N2 - The objective of SEARCH (2019–2022) was to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures, based on Model-Based Systems Engineering (MBSE) practices. We developed (1) tools for analysing Defence-in-Depth properties, (2) methods for the hybrid assessment of safety and security, as well as (3) data models to support conformity assessment and design iteration. A particular focus was on broadening the scope in which a formal verification method called model checking could be used. We developed methods for software verification, where we also account for failures and communication delay in the underlying hardware architecture. We also developed tools for finding the root cause of counterexamples, and our capabilities to verify infinite-domain models.

AB - The objective of SEARCH (2019–2022) was to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures, based on Model-Based Systems Engineering (MBSE) practices. We developed (1) tools for analysing Defence-in-Depth properties, (2) methods for the hybrid assessment of safety and security, as well as (3) data models to support conformity assessment and design iteration. A particular focus was on broadening the scope in which a formal verification method called model checking could be used. We developed methods for software verification, where we also account for failures and communication delay in the underlying hardware architecture. We also developed tools for finding the root cause of counterexamples, and our capabilities to verify infinite-domain models.

M3 - Chapter or book article

T3 - VTT Technology

SP - 117

EP - 146

BT - SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022

PB - VTT Technical Research Centre of Finland

ER -

Safety and security of overall I&C architectures (SEARCH)

Abstract

Publication series

Access to Document

Fingerprint

Cite this