@inbook{99e83718e31a47b39c5268392553d5d3,
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 Buzhinskii and Atte Helminen and Joonas Linnosmaa and Timo Malm and Polina Ovsiannikova and Nikolaos Papakonstantinou and Valeriy Vyatkin",
year = "2021",
language = "English",
series = "VTT Technology",
publisher = "VTT Technical Research Centre of Finland",
number = "383",
booktitle = "SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022",
address = "Finland",
}