Abstract
The objective of SEARCH (2019–2022) was to develop methods and tools for assessing technical design solutions related to overall instrumentation and control (I&C) system architectures, based on Model-Based Systems Engineering (MBSE) practices. We developed (1) tools for analysing Defence-in-Depth properties, (2) methods for the hybrid assessment of safety and security, as well as (3) data models to support conformity assessment and design iteration.
A particular focus was on broadening the scope in which a formal verification method called model checking could be used. We developed methods for software verification, where we also account for failures and communication delay in the underlying hardware architecture. We also developed tools for finding the root cause of counterexamples, and our capabilities to verify infinite-domain models.
| Original language | English |
|---|---|
| Title of host publication | SAFIR2022 - The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022 |
| Subtitle of host publication | Final Report |
| Publisher | VTT Technical Research Centre of Finland |
| Pages | 117-146 |
| ISBN (Electronic) | 978-951-38-8776-6 |
| Publication status | Published - 2023 |
| MoE publication type | D2 Article in professional manuals or guides or professional information systems or text book material |
Publication series
| Series | VTT Technology |
|---|---|
| Number | 414 |
| ISSN | 2242-1211 |