论文信息 - Safety demonstration of nuclear I&C - an introduction: SAUNA Task 3.1 report - 字舞流文

Safety demonstration of nuclear I&C - an introduction: SAUNA Task 3.1 report

Timo Varkoi | Teemu Tommila | Joonas Linnosmaa | Janne Valkonen

[1] John C. Knight,et al. A Taxonomy of Fallacies in System Safety Arguments , 2006 .

[2] Ewen Denney,et al. Towards a Formal Basis for Modular Safety Cases , 2015, SAFECOMP.

[3] Robin E. Bloomfield,et al. Tool Support for Assurance Case Building Blocks - Providing a Helping Hand with CAE , 2015, SAFECOMP Workshops.

[4] T. Kelly. Reviewing Assurance Arguments – A Step-By-Step Approach , 2007 .

[5] Joonas Linnosmaa. Structured safety case tools for nuclear facility automation , 2016 .

[6] Erja Kainulainen. Regulatory oversight of nuclear safety in Finland : Annual report 2013 , 2010 .

[7] Nancy Leveson. In the Spotlight The Use of Safety Cases in Certification and Regulation , 2011 .