Abstract
This paper describes the relationship between the overall safety lifecycle and the software safety lifecycle during the development of the software based safety systems of Nuclear Power Plants. This includes the design and evaluation activities of the components as well as the system. This paper also compares the safety lifecycle and planning activities defined in IEC 61508 with those in IEC 61513, IEC 60880, IEEE 7-4.3.2, and IEEE 1228. Using the Korean KNICS (Korean Nuclear Instrumentation and Control System) project as an example, the software safety lifecycle is described by comparing it to the software development, testing, and safety analysis processes of international standards. The safety assessment of the software for the KNICS Reactor Protection System and Programmable Logic Controller is a joint Korean/German project. The assessment methods applied in the project and the experiences gained from this project are presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Leveson, N.G., Stolzy, J.L.: Safety analysis of Ada programs using fault trees. IEEE Transactions on Reliability R-32(5) (1983)
Ramamoorthy, C.V., Bastini, F.B.: Software reliability – Status and perspective. IEEE Transactions on Software Engineering SE-8, 354–371 (1982)
Lindner, A., Wach, D.: Experiences gained from independent assessment in licensing of advanced I&C systems in nuclear power plants. Nuclear Technology 143, 197–207 (2003)
Lee, J.S., Kwon, K.C., Cha, S.D.: Software safety analysis of digital protection system requirements using a qualitative formal method. Nuclear Technology 147, 227–239 (2004)
Leveson, N.G.: Safeware: system safety and computers. Addison Wesley, Reading (1995)
IEC 61508-1, Functional safety of electrical/electronic/programmable electronic safety-related systems –Part 1: General requirements
IEC 61508-2, Functional safety of electrical/electronic/programmable electronic safety-related systems –Part 2: Requirements for electrical/electronic/programmable electronic safety-related systems
IEC 61508-3, Functional safety of electrical/electronic/programmable electronic safety-related systems –Part 3: Software requirements
IEC 60880, Nuclear Power Plants – I&C systems important to safety – Software aspects for computer-based systems performing category A functions
IEC 61513, Nuclear Power Plants – Instrumentation and control for systems important to safety – General requirements for systems
IEEE Std. 7-4.3.2-2003, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations
IEEE Std. 1228-1994, IEEE Standard for Software Safety Plan
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, JS., Lindner, A., Choi, JG., Miedl, H., Kwon, KC. (2006). Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. In: Górski, J. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2006. Lecture Notes in Computer Science, vol 4166. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11875567_7
Download citation
DOI: https://doi.org/10.1007/11875567_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45762-6
Online ISBN: 978-3-540-45763-3
eBook Packages: Computer ScienceComputer Science (R0)