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

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterProfessional

Abstrakti

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.
AlkuperäiskieliEnglanti
OtsikkoSAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022
KustantajaVTT
ISBN (elektroninen)978-951-38-8743-8
TilaJulkaistu - 2021
OKM-julkaisutyyppiD2 Artikkeli ammatillisessa käyttöoppaassa tai oppaassa tai ammattilaistietojärjestelmässä tai käsikirjamateriaalissa

Julkaisusarja

NimiVTT Technology
Numero383
ISSN (elektroninen)2242-1211

Sormenjälki

Sukella tutkimusaiheisiin 'Safety and security assessment of overall I&C architectures (SEARCH)'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä