Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Tuomas Kuismin"'
Publikováno v:
Lahtinen, J, Kuismin, T & Heljanko, K 2015, ' Verifying large modular systems using iterative abstraction refinement ', Reliability Engineering and System Safety, vol. 139, pp. 120-130 . https://doi.org/10.1016/j.ress.2015.03.012
Digital instrumentation and control (I&C) systems are increasingly used in the nuclear engineering domain. The exhaustive verification of these systems is challenging, and the usual verification methods such as testing and simulation are typically in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5f6957614ec8726a564ad02f0f28c332
https://doi.org/10.1016/j.ress.2015.03.012
https://doi.org/10.1016/j.ress.2015.03.012
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319659473
SERENE
SERENE
An increasing openness and interconnectedness of safety-critical industrial control systems makes them vulnerable to security attacks. Hence, we should establish the integrated approaches enabling safety-security co-engineering. Such approaches shoul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::37cfcf9a278b5f5132cbaf74f0b02533
https://doi.org/10.1007/978-3-319-65948-0_7
https://doi.org/10.1007/978-3-319-65948-0_7
Autor:
Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Timo Latvala, Dubravka Ilic, Elena Troubitsyna
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319454764
SAFECOMP
SAFECOMP
Modern industrial control systems become increasingly interconnected and rely on external networks to provide their services. Hence they become vulnerable to security attacks that might directly jeopardise their safety. The growing understanding that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4feb88188914aa2898d511dc4f86f227
https://doi.org/10.1007/978-3-319-45477-1_17
https://doi.org/10.1007/978-3-319-45477-1_17
Autor:
Kim Björkman, Keijo Heljanko, Jan-Erik Holmberg, Tuomas Kuismin, Jussi Lahtinen, Tero Tyrväinen, Janne Valkonen
Publikováno v:
Björkman, K, Heljanko, K, Holmberg, J-E, Kuismin, T, Lahtinen, J, Tyrväinen, T & Valkonen, J 2013, Safety evaluation and reliability analysis of nuclear automation (SARANA) . in SAFIR2014: The Finnish Research Programme on Nuclear Power Plant Safety 2011-2014 : Interim Report . VTT Technical Research Centre of Finland, Espoo, VTT Technology, no. 80, pp. 60-71 . < https://publications.vtt.fi/pdf/technology/2013/T80.pdf#page=62 >
VTT Technical Research Centre of Finland-PURE
VTT Technical Research Centre of Finland-PURE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7dc0836870c05424720959f778d69b07
https://cris.vtt.fi/en/publications/771ee260-7874-4670-b95d-80c51aa86bca
https://cris.vtt.fi/en/publications/771ee260-7874-4670-b95d-80c51aa86bca
Autor:
Keijo Heljanko, Tuomas Kuismin
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319030760
Haifa Verification Conference
University of Helsinki
Haifa Verification Conference
University of Helsinki
Model checking is an established technique to get confidence in the correctness of a system when testing is not sufficient. Validating safety-critical systems is one of the use cases for model checking. As model checkers themselves are quite complica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad91b22592b9f20a726f6b2430aeb5f0
https://doi.org/10.1007/978-3-319-03077-7_3
https://doi.org/10.1007/978-3-319-03077-7_3