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

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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 languageEnglish
Title of host publicationSAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022
PublisherVTT
ISBN (Electronic)978-951-38-8743-8
Publication statusPublished - 2021
MoE publication typeD2 Article in professional manuals or guides or professional information systems or text book material

Publication series

NameVTT Technology
Number383
ISSN (Electronic)2242-1211

Fingerprint

Dive into the research topics of 'Safety and security assessment of overall I&C architectures (SEARCH)'. Together they form a unique fingerprint.

Cite this