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.
|Title of host publication||SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022|
|Subtitle of host publication||Interim Report|
|Publisher||VTT Technical Research Centre of Finland|
|Publication status||Published - 2021|
|MoE publication type||D2 Article in professional manuals or guides or professional information systems or text book material|