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

Antti Pakonen; Jarmo Alanen; Igor Buzhinsky; Atte Helminen; Joonas Linnosmaa; Timo Malm; Polina Ovsiannikova; Nikolaos Papakonstantinou; Valeriy Vyatkin

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

Antti Pakonen, Jarmo Alanen, Igor Buzhinsky, Atte Helminen, Joonas Linnosmaa, Timo Malm, Polina Ovsiannikova, Nikolaos Papakonstantinou, Valeriy Vyatkin

BA6403 Cybersecurity engineering & automation

Aalto University

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

Abstract

The objective of SEARCH (2019–2022) is to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures. A particular focus is on trade-offs between requirements related to safety, dependability and security. We also aim to broaden the scope in which formal methods can effectively be used to verify properties on how the I&C systems operate as a whole. In the first two project years, SEARCH has developed models and methods for early hybrid assessment of safety and security of overall I&C architectures. In addition, we have further developed methods of performing software model checking, accounting for hardware failures and communication delay. We have also developed a practical tool for explaining counterexamples.

Original language	English
Title of host publication	SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022
Subtitle of host publication	Interim Report
Editors	Jari Hämäläinen, Vesa Suolanen
Place of Publication	Espoo
Publisher	VTT Technical Research Centre of Finland
Pages	97-118
ISBN (Print)	978-951-38-8743-8
Publication status	Published - 2021
MoE publication type	D2 Article in professional manuals or guides or professional information systems or text book material

Publication series

Series	VTT Technology
Number	383
ISSN	2242-1211

Access to Document

https://publications.vtt.fi/pdf/technology/2021/T383.pdf

Cite this

Pakonen, A., Alanen, J., Buzhinsky, I., Helminen, A., Linnosmaa, J., Malm, T., Ovsiannikova, P., Papakonstantinou, N., & Vyatkin, V. (2021). Safety and security assessment of overall I&C architectures (SEARCH). In J. Hämäläinen, & V. Suolanen (Eds.), SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Interim Report (pp. 97-118). VTT Technical Research Centre of Finland. https://publications.vtt.fi/pdf/technology/2021/T383.pdf

@inbook{84da15afce214f21975994371f5e9db6,

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

abstract = "The objective of SEARCH (2019–2022) is to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures. A particular focus is on trade-offs between requirements related to safety, dependability and security. We also aim to broaden the scope in which formal methods can effectively be used to verify properties on how the I&C systems operate as a whole. In the first two project years, SEARCH has developed models and methods for early hybrid assessment of safety and security of overall I&C architectures. In addition, we have further developed methods of performing software model checking, accounting for hardware failures and communication delay. We have also developed a practical tool for explaining counterexamples.",

author = "Antti Pakonen and Jarmo Alanen and Igor Buzhinsky and Atte Helminen and Joonas Linnosmaa and Timo Malm and Polina Ovsiannikova and Nikolaos Papakonstantinou and Valeriy Vyatkin",

year = "2021",

language = "English",

isbn = "978-951-38-8743-8",

series = "VTT Technology",

publisher = "VTT Technical Research Centre of Finland",

number = "383",

pages = "97--118",

editor = "Jari H{\"a}m{\"a}l{\"a}inen and Vesa Suolanen",

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

address = "Finland",

}

Pakonen, A , Alanen, J, Buzhinsky, I, Helminen, A , Linnosmaa, J , Malm, T, Ovsiannikova, P, Papakonstantinou, N & Vyatkin, V 2021, Safety and security assessment of overall I&C architectures (SEARCH). in J Hämäläinen & V Suolanen (eds), SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Interim Report. VTT Technical Research Centre of Finland, Espoo, VTT Technology, no. 383, pp. 97-118. <https://publications.vtt.fi/pdf/technology/2021/T383.pdf>

Safety and security assessment of overall I&C architectures (SEARCH). / Pakonen, Antti ; Alanen, Jarmo; Buzhinsky, Igor et al.
SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Interim Report. ed. / Jari Hämäläinen; Vesa Suolanen. Espoo: VTT Technical Research Centre of Finland, 2021. p. 97-118 (VTT Technology; No. 383).

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

TY - CHAP

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

AU - Pakonen, Antti

AU - Alanen, Jarmo

AU - Buzhinsky, Igor

AU - Helminen, Atte

AU - Linnosmaa, Joonas

AU - Malm, Timo

AU - Ovsiannikova, Polina

AU - Papakonstantinou, Nikolaos

AU - Vyatkin, Valeriy

PY - 2021

Y1 - 2021

N2 - The objective of SEARCH (2019–2022) is to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures. A particular focus is on trade-offs between requirements related to safety, dependability and security. We also aim to broaden the scope in which formal methods can effectively be used to verify properties on how the I&C systems operate as a whole. In the first two project years, SEARCH has developed models and methods for early hybrid assessment of safety and security of overall I&C architectures. In addition, we have further developed methods of performing software model checking, accounting for hardware failures and communication delay. We have also developed a practical tool for explaining counterexamples.

AB - The objective of SEARCH (2019–2022) is to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures. A particular focus is on trade-offs between requirements related to safety, dependability and security. We also aim to broaden the scope in which formal methods can effectively be used to verify properties on how the I&C systems operate as a whole. In the first two project years, SEARCH has developed models and methods for early hybrid assessment of safety and security of overall I&C architectures. In addition, we have further developed methods of performing software model checking, accounting for hardware failures and communication delay. We have also developed a practical tool for explaining counterexamples.

UR - https://doi.org/10.32040/2242-122X.2021.T383

M3 - Chapter or book article

SN - 978-951-38-8743-8

T3 - VTT Technology

SP - 97

EP - 118

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

A2 - Hämäläinen, Jari

A2 - Suolanen, Vesa

PB - VTT Technical Research Centre of Finland

CY - Espoo

ER -

Pakonen A , Alanen J, Buzhinsky I, Helminen A , Linnosmaa J , Malm T et al. Safety and security assessment of overall I&C architectures (SEARCH). In Hämäläinen J, Suolanen V, editors, SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Interim Report. Espoo: VTT Technical Research Centre of Finland. 2021. p. 97-118. (VTT Technology; No. 383).

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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022: Interim Report

Cite this