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

Research output: Chapter in Book/Report/Conference proceedingChapter or book articleProfessional


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
Subtitle of host publicationInterim Report
EditorsJari Hämäläinen, Vesa Suolanen
Place of PublicationEspoo
PublisherVTT Technical Research Centre of Finland
ISBN (Print)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

SeriesVTT Technology


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

Cite this