@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",
}