{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:18:44Z","timestamp":1725491924051},"publisher-location":"Berlin, Heidelberg","reference-count":12,"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_24","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T09:15:29Z","timestamp":1190366129000},"page":"258-263","source":"Crossref","is-referenced-by-count":0,"title":["Defense-in-Depth and Diverse Qualification of Safety-Critical Software"],"prefix":"10.1007","author":[{"given":"Horst","family":"Miedl","sequence":"first","affiliation":[]},{"given":"Jang-Soo","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Arndt","family":"Lindner","sequence":"additional","affiliation":[]},{"given":"Ernst","family":"Hoffman","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Martz","sequence":"additional","affiliation":[]},{"given":"Young-Jun","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Jong-Gyun","family":"Choi","sequence":"additional","affiliation":[]},{"given":"Jang-Yeol","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Kyoung-Ho","family":"Cha","sequence":"additional","affiliation":[]},{"given":"Se-Woo","family":"Cheon","sequence":"additional","affiliation":[]},{"given":"Cheol-Kwon","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Gee-Yong","family":"Park","sequence":"additional","affiliation":[]},{"given":"Kee-Choon","family":"Kwon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"IAEA Safety Glossary, Terminology Used in Nuclear, Radiation, Radioactive Waste and Transport Safety, Version 2.0, IAEA, Department of Nuclear Safety and Security (2006)"},{"key":"24_CR2","unstructured":"VDI Richtlinie VDI\/VDE 3527: Kriterien zur Gew\u00e4hrleistung der Unabh\u00e4ngigkeit von Sicherheitsfunktionen bei der Leittechnik-Auslegung (2002)"},{"key":"24_CR3","unstructured":"Preckshot, G.G.: Methods for Performing Diversity and Defence-in-Depth Analyses of Reactor Protection Systems, UCRL-ID-119239, Lawrence Livermore National Laboratory (1994)"},{"key":"24_CR4","unstructured":"NUREG 0800, Branch Technical Position HICB-19, Guidance for Evaluation of Defence-in-Depth and Diversity in Digital Computer-Based Instrumentation and Control Systems, Rev. 4 (1997)"},{"key":"24_CR5","unstructured":"FDIS IEC 62340 Nuclear power plants \u2013 Instrumentation and Control Systems Important to Safety - Requirements to cope with Common Cause Failure (CCF) (2006)"},{"key":"24_CR6","unstructured":"Draft IAEA TECDOC on Avoiding Common-Cause Failures in Digital I&C Systems of NPPs (2006)"},{"key":"24_CR7","unstructured":"IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations, IEEE Std. 7-4.3.2- 2003 (2003)"},{"key":"24_CR8","unstructured":"NUREG\/CR-6303 Method for Performing Diversity and Defense-in-Depth Analyses of Reactor Protection Systems (1994)"},{"key":"24_CR9","unstructured":"IEC 60880 Ed. 2 Nuclear power plants \u2013 Instrumentation and Control Systems Important to Safety - Software Aspects for Computer-Based Systems Performing Category A Functions (2006)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 Lifecycle and Methods of Programmable Electronic Safety System for Nuclear Power Plant. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, Springer, Heidelberg (2006)"},{"key":"24_CR11","doi-asserted-by":"crossref","first-page":"197","DOI":"10.13182\/NT03-A3409","volume":"143","author":"A. Lindner","year":"2003","unstructured":"Lindner, A., Wach, D.: Experiences Gained from Independent Assessment in Licensing of Advanced I&C Systems in Nuclear Power Plants. Nuclear Technology\u00a0143, 197\u2013207 (2003)","journal-title":"Nuclear Technology"},{"key":"24_CR12","unstructured":"Lindner, A., Hoffmann, E., Wach, D.: Softwarepr\u00fcfplan f\u00fcr sicherheitsrelevante Produkte, ISTec - A - 1068, Rev. 00 (2005)"}],"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_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:51:22Z","timestamp":1619520682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75101-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751007","9783540751014"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75101-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}