{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:27:08Z","timestamp":1747855628672},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751007"},{"type":"electronic","value":"9783540751014"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75101-4_15","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"148-161","source":"Crossref","is-referenced-by-count":6,"title":["Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System"],"prefix":"10.1007","author":[{"given":"Gee-Yong","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jang-Soo","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Se-Woo","family":"Cheon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kee-Choon","family":"Kwon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kwang Yong","family":"Koh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Park, J.H., Lee, D.Y., Kim, C.H.: Development of KNICS RPS Prototype. In: Proceedings of ISOFIC (International Symposium on the Future I&C for NPPs) 2005, Session 6, Tongyeong, Korea, pp. 160\u2013161 (2005)"},{"key":"15_CR2","first-page":"259","volume":"38","author":"S.R. Koo","year":"2006","unstructured":"Koo, S.R., Seong, P.H., Yoo, J., Cha, S.D., Youn, C., Han, H.-C.: NuSEE: An Integrated Environment of Software Specification and V&V for PLC based Safety-Critical Systems. Nuclear Engineering and Technology\u00a038, 259\u2013276 (2006)","journal-title":"Nuclear Engineering and Technology"},{"key":"15_CR3","unstructured":"Kwon, K.C., Lee, J.S., Cheon, S.W.: Software Qualification Strategy for the Digital Protection Safety Systems in KNICS. In: American Nuclear Society Winter Meeting, Albuquerque, NM, USA, November 12\u201316, 2006, pp. 109\u2013110 (2006)"},{"key":"15_CR4","unstructured":"IEC 61131, Part 3, International Standard for Programmable Logic Controllers: Programming Languages, International Electrotechnical Commission (1993)"},{"key":"15_CR5","unstructured":"Regulatory Guide 1.168, Verification, Validation, Reviews and Audits for Digital Computer Software Used in Safety Systems of Nuclear Power Plants, U.S. Nuclear Regulatory Commission (2004)"},{"key":"15_CR6","unstructured":"IEEE Std-1228, Software Safety Plan (1994)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Lawrence, J.D.: Software Safety Hazard Analysis, UCRL-ID-122514, Lawrence Livermore National Laboratory (1995)","DOI":"10.2172\/201805"},{"key":"15_CR8","volume-title":"Safeware: System Safety and Computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System Safety and Computers. Addison-Wesley Inc., Reading (1995)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/11875567_7","volume-title":"Computer Safety, Reliability, and Security","author":"J.S. Lee","year":"2006","unstructured":"Lee, J.S., Lindner, A., Choi, J.G., Miedl, H., Kwon, K.C.: Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 85\u201398. Springer, Heidelberg (2006)"},{"key":"15_CR10","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/S0951-8320(96)00099-3","volume":"55","author":"F. Redmill","year":"1997","unstructured":"Redmill, F., Chudleigh, M.F., Catmur, J.R.: Principles underlying a Guideline for Applying HAZOP to Programmable Electronic Systems. Reliability Engineering and System Safety\u00a055, 283\u2013293 (1997)","journal-title":"Reliability Engineering and System Safety"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"McDermid, J.A., Pumfrey, D.J.: A Development of HAZARD Analysis to Aid Software Design. In: Proceedings of the 9th Annual Conference on Computer Assurance, Gaithersburg, MD, USA, pp. 17\u201325 (1994)","DOI":"10.1109\/CMPASS.1994.318470"},{"key":"15_CR12","unstructured":"NUREG-0800, Standard Review Plan: BTP HICB\u201314, Guidance on Software Reviews for Digital Computer-Based Instrumentation and Control Systems, U.S. Nuclear Regulatory Commission (1997)"},{"key":"15_CR13","unstructured":"Lee, J.S., et al.: HAZOP Method for Safety Analysis of Software Requirements Specification (in Korean). In: Proceedings of the Korean Nuclear Society Spring Meeting, Gyeongju, Korea, May 2003, vol.\u00a087 (2003)"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Shimeall, T.J.: Safety Verification of Ada Programs using Software Fault Trees. IEEE Software, 48\u201359 (1991)","DOI":"10.1109\/52.300036"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Cha, S.S., Leveson, N.G., Shimeall, T.J.: Safety Verification in MURPHY using Fault Tree Analysis. In: Proceedings of 10th International Conference on Software Engineering, Singapore, April 1988, pp. 377\u2013386 (1988)","DOI":"10.1109\/ICSE.1988.93718"},{"key":"15_CR16","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.ress.2004.07.019","volume":"88","author":"Y. Oh","year":"2005","unstructured":"Oh, Y., Yoo, J., Cha, S., Son, H.S.: Software Safety Analysis of Function Block Diagrams using Fault Trees. Reliability Engineering and System Safety\u00a088, 215\u2013228 (2005)","journal-title":"Reliability Engineering and System Safety"},{"key":"15_CR17","unstructured":"Jeon, S.: Verification of Function Block Diagram through Verilog Translation, M.S. Thesis, Computer System Division, EECS Department, Korea Advanced Institute of Science and Technology, Korea (2007)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75101-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:51:18Z","timestamp":1619520678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}