{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:37Z","timestamp":1725471217327},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457626"},{"type":"electronic","value":"9783540457633"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11875567_7","type":"book-chapter","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:25:27Z","timestamp":1158931527000},"page":"85-98","source":"Crossref","is-referenced-by-count":4,"title":["Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant"],"prefix":"10.1007","author":[{"given":"Jang-Soo","family":"Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arndt","family":"Lindner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jong-Gyun","family":"Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Horst","family":"Miedl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kee-Choon","family":"Kwon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Stolzy, J.L.: Safety analysis of Ada programs using fault trees. IEEE Transactions on Reliability\u00a0R-32(5) (1983)","DOI":"10.1109\/TR.1983.5221736"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1109\/TSE.1982.235728","volume":"SE-8","author":"C.V. Ramamoorthy","year":"1982","unstructured":"Ramamoorthy, C.V., Bastini, F.B.: Software reliability \u2013 Status and perspective. IEEE Transactions on Software Engineering\u00a0SE-8, 354\u2013371 (1982)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR3","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":"7_CR4","doi-asserted-by":"crossref","first-page":"227","DOI":"10.13182\/NT04-A3528","volume":"147","author":"J.S. Lee","year":"2004","unstructured":"Lee, J.S., Kwon, K.C., Cha, S.D.: Software safety analysis of digital protection system requirements using a qualitative formal method. Nuclear Technology\u00a0147, 227\u2013239 (2004)","journal-title":"Nuclear Technology"},{"key":"7_CR5","volume-title":"Safeware: system safety and computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: system safety and computers. Addison Wesley, Reading (1995)"},{"key":"7_CR6","unstructured":"IEC 61508-1, Functional safety of electrical\/electronic\/programmable electronic safety-related systems \u2013Part 1: General requirements"},{"key":"7_CR7","unstructured":"IEC 61508-2, Functional safety of electrical\/electronic\/programmable electronic safety-related systems \u2013Part 2: Requirements for electrical\/electronic\/programmable electronic safety-related systems"},{"key":"7_CR8","unstructured":"IEC 61508-3, Functional safety of electrical\/electronic\/programmable electronic safety-related systems \u2013Part 3: Software requirements"},{"key":"7_CR9","unstructured":"IEC 60880, Nuclear Power Plants \u2013 I&C systems important to safety \u2013 Software aspects for computer-based systems performing category A functions"},{"key":"7_CR10","unstructured":"IEC 61513, Nuclear Power Plants \u2013 Instrumentation and control for systems important to safety \u2013 General requirements for systems"},{"key":"7_CR11","unstructured":"IEEE Std. 7-4.3.2-2003, IEEE Standard Criteria for Digital Computers in Safety Systems of Nuclear Power Generating Stations"},{"key":"7_CR12","unstructured":"IEEE Std. 1228-1994, IEEE Standard for Software Safety Plan"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11875567_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:25:02Z","timestamp":1619508302000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11875567_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457626","9783540457633"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11875567_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}