Views on safety demonstration and systems engineering for digital I&C
暂无分享,去创建一个
Timo Varkoi | Janne Valkonen | Teemu Tommila | Joonas Linnosmaa | Jarmo Alanen | J. Valkonen | T. Varkoi | T. Tommila | J. Alanen | Joonas Linnosmaa
[1] Nikolaos Papakonstantinou,et al. Challenges in Defence in Depth and I&C architectures , 2022 .
[2] Tim Kelly. Managing Complex Safety Cases , 2003 .
[3] Paula Savioja,et al. Conducting multistage HFE validations: Constructing systems usability case , 2014 .
[4] Ola Bäckström,et al. Analysis and modelling of software in probabilistic safety assessment , 2015 .
[5] Pia Oedewald,et al. Safety culture and subcontractor network governance in a complex safety critical project , 2015, Reliab. Eng. Syst. Saf..
[6] S. Toulmin. The uses of argument , 1960 .
[7] Tero Tyrväinen,et al. Coupling model checking and PRA for safety analysis of digital I&C systems , 2015 .
[8] Risto Nevalainen,et al. Extending SPICE for Safety Focused Systems Engineering Process Assessment , 2015, EuroSPI.
[9] Markus Hartikainen,et al. Model checking of I&C software in the Loviisa NPP automation renewal project , 2015 .
[10] Jussi Lahtinen. Hardware failure modelling methodology for model checking , 2014 .
[11] Timo Varkoi,et al. Safety demonstration of nuclear I&C - an introduction: SAUNA Task 3.1 report , 2016 .
[12] Kaupo Viitanen,et al. Safety culture and organisational resilience in the nuclear industry throughout the different lifecycle phases , 2015 .
[13] Joonas Linnosmaa. Structured safety case tools for nuclear facility automation , 2016 .