Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Ovsiannikova, Polina"'
Despite being one of the most reliable approaches for ensuring system correctness, model checking requires auxiliary tools to fully avail. In this work, we tackle the issue of its results being hard to interpret and present Oeritte, a tool for automa
Externí odkaz:
http://arxiv.org/abs/2012.15097
Funding Information: ACKNOWLEDGMENTS This work was supported, in part, by the Finnish Research Programme on Nuclear Power Plant Safety 2018-2022 (SAFIR 2022, by the HORIZON2020 project 1-SWARM co-Funded by the European Commission (grant agreement: 87
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______661::c4921047a78699732edff6f9e0748b56
https://aaltodoc.aalto.fi/handle/123456789/112740
https://aaltodoc.aalto.fi/handle/123456789/112740
Publisher Copyright: CCBY Copyright: Copyright 2021 Elsevier B.V., All rights reserved. Thorough verification is a part of the design process of instrumentation and control systems if they must comply with crucial safety requirements. Model checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______661::e33d3374d173215f226a0012bb25c5b0
https://aaltodoc.aalto.fi/handle/123456789/107460
https://aaltodoc.aalto.fi/handle/123456789/107460
Autor:
Pakonen, Antti, Alanen, Jarmo, Buzhinsky, Igor, Helminen, Atte, Linnosmaa, Joonas, Malm, Timo, Ovsiannikova, Polina, Papakonstantinou, Nikolaos, Vyatkin, Valeriy
Publikováno v:
Pakonen, A, Alanen, J, Buzhinsky, I, Helminen, A, Linnosmaa, J, Malm, T, Ovsiannikova, P, Papakonstantinou, N & Vyatkin, V 2021, Safety and security assessment of overall I &C architectures (SEARCH) . in J Hämäläinen & V Suolanen (eds), SAFIR2022-The Finnish Research Programme on Nuclear Power Plant Safety 2019-2022 : Interim Report . VTT Technical Research Centre of Finland, Espoo, VTT Technology, no. 383, pp. 97-118 . < https://publications.vtt.fi/pdf/technology/2021/T383.pdf >
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=355e65625b88::810b9ff0482e0537dcc3849f55543ddc
https://cris.vtt.fi/en/publications/84da15af-ce21-4f21-9759-94371f5e9db6
https://cris.vtt.fi/en/publications/84da15af-ce21-4f21-9759-94371f5e9db6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.