论文信息 - Structured safety case tools for nuclear facility automation

Structured safety case tools for nuclear facility automation

LINNOSMAA, JOONAS: Structured safety case tools for nuclear facility automation Tampere University of Technology Master’s Degree Programme in Environmental and Energy Technology Master of Science Thesis, 68 pages April 2016 Major: Occupational Safety Engineering Examiner: Professor Jouni Kivistö-Rahnasto

Joonas Linnosmaa

[1] Teemu Tommila,et al. Conceptual model for safety requirements specification and management in nuclear power plants , 2015 .

[2] Timo Varkoi,et al. Safety demonstration of nuclear I&C - an introduction: SAUNA Task 3.1 report , 2016 .

[3] Ewen Denney,et al. AdvoCATE: An Assurance Case Automation Toolset , 2012, SAFECOMP Workshops.

[4] Tim Kelly,et al. The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[5] Anthony J. Avery,et al. Safety Features and Alerts in Electronic Patient Medication Record Systems Used in Community Pharmacy in England: An Exploratory Study , 2013, MedInfo.

[6] Stuart McLain,et al. Nuclear power reactors , 1955, Electrical Engineering.

[7] M. R. Kerbel. What About Us? , 2018, Remote & Controlled.

[8] G. V. Ermakov. NUCLEAR POWER ENGINEERING IN THE U.S.S.R. , 1967 .

[9] Nikolaos Papakonstantinou,et al. Challenges in Defence in Depth and I&C architectures , 2022 .

[10] Ewen Denney,et al. Tool support for assurance case development , 2017, Automated Software Engineering.

[11] J. Aronson. Safety , 2009, BMJ : British Medical Journal.

[12] Tim Kelly,et al. Arguing Safety - A Systematic Approach to Managing Safety Cases , 1998 .

[13] Peter G. Bishop,et al. A Methodology for Safety Case Development , 2000, SSS.