-
1
المؤلفون: Antti Pakonen, Kim Björkman
المساهمون: Beer, Michael, Zio, Enrico
المصدر: Björkman, K & Pakonen, A 2019, Coupling Model Checking and PSA : A Case Study . in M Beer & E Zio (eds), Proceedings of the 29th European Safety and Reliability Conference, ESREL 2019 . European Safety and Reliability Association (ESRA), pp. 2789-2796, 29th European Safety and Reliability Conference, ESREL 2019, Hannover, Germany, 22/09/19 . https://doi.org/10.3850/978-981-11-2724-3_0418-cd
مصطلحات موضوعية: Model checking, Physics, Coupling, PSA, Scalability, Digital I&C, Verification, Hardware failure, Topology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c38b7dd7cb6d1340a4caaeb930bfa505
https://cris.vtt.fi/en/publications/18ecb6c0-4da1-4a1d-97d8-3a53cdae3ee5 -
2
المؤلفون: Jan Procházka, Kim Björkman, Juozas Augutis, Francisco Jairan Dionizio Pedro, Bruno Castanier, Edoardo Patelli, Dominik Jan Schott, Matthew Newall
مصطلحات موضوعية: Risk and vulnerability, Process (engineering), Computer science, 020209 energy, 020101 civil engineering, Context (language use), 02 engineering and technology, Design science, Method development, 0201 civil engineering, Risk analysis (engineering), 0202 electrical engineering, electronic engineering, information engineering, Evaluation theory, Action research
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4cac055f271f0e3f4b4269fd8de25367
https://doi.org/10.1201/9781315210469 -
3
المؤلفون: Antti Pakonen, Kim Björkman
المساهمون: Cepin, Marko, Briš, Radim
المصدر: Pakonen, A & Björkman, K 2017, Model checking as a protective method against spurious actuation of industrial control systems . in M Cepin & R Briš (eds), Safety and Reliability : Theory and Applications . CRC Press, pp. 3189-3196, 27th European Safety and Reliability Conference, ESREL 2017, Portoroz, Slovenia, 18/06/17 . https://doi.org/10.1201/9781315210469
مصطلحات موضوعية: Model checking, Computer science, Control engineering, Industrial control system, Spurious relationship
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca14142199b0ce26f34fafe169d7c6a5
https://cris.vtt.fi/en/publications/03454d71-b7d1-48f2-ad98-e27c6c167f65 -
4
المؤلفون: Jussi Lahtinen, Kim Björkman
مصطلحات موضوعية: Model checking, probabilistic risk assessment, nuclear power plant, Probabilistic risk assessment, Computer science, law, Nuclear power plant, safety assessment, integration, model checking, Reliability engineering, law.invention
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::423788ffb0266b62fd97bdf3b07737a5
https://doi.org/10.1201/9781315374987-356 -
5
المؤلفون: Kim Björkman
المصدر: Björkman, K 2013, ' Solving dynamic flowgraph methodology models using binary decision diagrams ', Reliability Engineering and System Safety, vol. 111, pp. 206-216 . https://doi.org/10.1016/j.ress.2012.11.009
مصطلحات موضوعية: Fault tree analysis, Theoretical computer science, dynamic flowgraph methodology, business.industry, Binary decision diagram, Computer science, Event (computing), Implicant, prime implicant, multi-valued logic, Industrial and Manufacturing Engineering, dynamic reliability analysis, Design for manufacturability, Set (abstract data type), Software, Logic error, Safety, Risk, Reliability and Quality, business, Algorithm
-
6
المؤلفون: Kim Björkman, Tero Tyrväinen, Niemelä, I., Teemu Mätäsniemi
المصدر: Björkman, K, Tyrväinen, T, Niemelä, I & Mätäsniemi, T 2013, Developing PRA computer code requirements based on probabilistic risk analysis practices . in International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2013 . American Nuclear Society (ANS), pp. 1215-1226, International Topical Meeting on Probabilistic Safety Assessment and Analysis, PSA 2013, Columbia, South Carolina, United States, 22/09/13 .
VTT Technical Research Centre of Finland-PUREمصطلحات موضوعية: requirement, standard, FinPSA, probabilistic risk analysis
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::639c7a799d5af710eef45adb2f776a8d
https://cris.vtt.fi/en/publications/a0eeb45b-ce8f-4d8e-be1d-f831883b5c49 -
7
المؤلفون: Kim Björkman, Keijo Heljanko, Jan-Erik Holmberg, Tuomas Kuismin, Jussi Lahtinen, Tero Tyrväinen, Janne Valkonen
المصدر: 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-PUREURL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7dc0836870c05424720959f778d69b07
https://cris.vtt.fi/en/publications/771ee260-7874-4670-b95d-80c51aa86bca -
8
المؤلفون: Teemu Mätäsniemi, Ilkka Niemelä, Tero Tyrväinen, Kim Björkman
المصدر: Mätäsniemi, T, Niemelä, I, Tyrväinen, T & Björkman, K 2013, FinPSA knowledge transfer (FINPSA-TRANSFER) . 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. 416-424 . < https://publications.vtt.fi/pdf/technology/2013/T80.pdf#page=418 >
VTT Technical Research Centre of Finland-PUREURL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e32c9cbecb7b20e248759bfb300cba8
https://cris.vtt.fi/en/publications/bf71076f-c951-44c9-9997-3f8f133a95f4 -
9
المؤلفون: Jussi Lahtinen, Kim Björkman, Janne Valkonen, Niemelä, I.
المصدر: Lahtinen, J, Björkman, K, Valkonen, J & Niemelä, I 2012, Emergency diesel generator control system verification by model checking and compositional minimization . in Proceedings : Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012 . Springer, Czech Republic, Lecture Notes in Computer Science, vol. 7721, pp. 49-60, 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012), Znojmo, Czech Republic, 25/10/12 .
VTT Technical Research Centre of Finland-PUREمصطلحات موضوعية: validation, diesel generator, Model checking, verification, compositional minimization
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dd1be3faf6ae3209b2db5eb5952985ba
https://cris.vtt.fi/en/publications/f16ab15a-41c7-4b12-be18-75bba80aae5b -
10
المؤلفون: Jussi Lahtinen, Juho Frits, Janne Valkonen, Ilkka Niemelä, Kim Björkman, Keijo Heljanko
المصدر: Lahtinen, J, Valkonen, J, Björkman, K, Frits, J, Niemelä, I & Heljanko, K 2012, ' Model checking of safety-critical software in the nuclear engineering domain ', Reliability Engineering and System Safety, vol. 105, pp. 104-113 . https://doi.org/10.1016/j.ress.2012.03.021
مصطلحات موضوعية: Model checking, safety, Computer science, Nuclear engineering, Industrial and Manufacturing Engineering, Automation, Verification, I&C, Software verification and validation, ta518, Safety, Risk, Reliability and Quality, ta515, ta113, ta112, Functional verification, ta213, Runtime verification, Formal equivalence checking, Formal methods, model checking, Reliability engineering, nuclear, ta5141, verification, Software verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0223384ca2b1c2a597fd33865d72c7f8
https://cris.vtt.fi/en/publications/a4d21c49-c11d-409f-b8d6-1ddd4e775d59