{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:08:12Z","timestamp":1725721692618},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199625"},{"type":"electronic","value":"9781447130543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3054-3_23","type":"book-chapter","created":{"date-parts":[[2013,4,9]],"date-time":"2013-04-09T03:33:23Z","timestamp":1365478403000},"page":"331-352","source":"Crossref","is-referenced-by-count":0,"title":["An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System"],"prefix":"10.1007","author":[{"given":"J\u00f6rgen","family":"Christmansson","sequence":"first","affiliation":[]},{"given":"Zbigniew","family":"Kalbarczyk","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Torin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","first-page":"122","volume-title":"Proc. IEEE Fault Tolerant Computing Symposium","author":"PE Ammann","year":"1987","unstructured":"Ammann P.E., Knight J.C., \u201cData Diversity: an Approach to Software Fault Tolerance\u201d, in Proc. IEEE Fault Tolerant Computing Symposium, 1987, pp. 122\u2013126."},{"key":"23_CR2","first-page":"142","volume-title":"Proc. IEEE Fault Tolerant Computing Symposium, FTCS-18","author":"J Arlat","year":"1988","unstructured":"Arlat J., Kanoun K., Laprie J.C., \u201cDependability Evaluation of Software Fault-Tolerance\u201d, in Proc. IEEE Fault Tolerant Computing Symposium, FTCS-18, 1988, pp.142\u2013147."},{"issue":"12","key":"23_CR3","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1109\/TSE.1985.231893","volume":"SE-11","author":"A Avizienis","year":"1985","unstructured":"Avizienis A., \u201cThe N-Version Approach to Fault-Tolerant Software\u201d, IEEE Trans. on Soft. Eng., Vol. SE-11, No. 12, 1985, pp. 1491\u20131501.","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"9","key":"23_CR4","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1109\/TSE.1986.6313048","volume":"SE-12","author":"PG Bishop","year":"1986","unstructured":"Bishop P.G., Esp D.G., Barnes M., Humphreys P., Dahll G., Lahti J., \u201cPODS - A Project on Diverse Software\u201d, IEEE Trans. on Soft. Eng., Vol. SE-12, No.9, 1986, pp. 929\u2013940.","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"2","key":"23_CR5","first-page":"98","volume":"9","author":"J Christmansson","year":"1994","unstructured":"Christmansson J., Kalbarczyk Z., Torin J., \u201cDependable Flight Control System Using Data Diversity with Error Recovery\u201d, International Journal of Computer Systems Science & Engineering, vol.9, no.2, pp.98\u2013106, 1994.","journal-title":"International Journal of Computer Systems Science & Engineering"},{"issue":"1","key":"23_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1142\/S0218539394000106","volume":"1","author":"BS Dhillon","year":"1994","unstructured":"Dhillon B.S., Anude O.C., \u201cCommon-Cause Failures in Engineering Systems: A Review\u201d, International Journal of Reliability, Quality and Safety Engineering, Vol.1, No.1, 1994, pp.103\u2013129.","journal-title":"International Journal of Reliability, Quality and Safety Engineering"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/0029-5493(86)90223-2","volume":"93","author":"KN Fleming","year":"1986","unstructured":"Fleming K.N., Mosleh A., Deremer R.K., \u201cA Systematic Procedure for Incorporation of Common Cause Events Into Risk and Reliability Models\u201d, Nuclear Engineering and Design 93, 1986, pp.245\u2013273.","journal-title":"Nuclear Engineering and Design"},{"key":"23_CR8","first-page":"236","volume-title":"Proc. IEEE Fault Tolerant Computing Symposium","author":"K Kanoun","year":"1987","unstructured":"Kanoun K., Sabourin T., \u201cSoftware Dependability of a Telephone Switching System\u201d, in Proc. IEEE Fault Tolerant Computing Symposium, 1987, pp. 236\u2013241."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TSE.1986.6312924","volume":"SE-12","author":"JC Knight","year":"1986","unstructured":"Knight J.C., Leveson N.G., \u201cAn Experimental Evaluation of the Assumption of Independence in Multiversion Programming\u201d, IEEE Trans. on Soft. Eng., Vol. SE-12, 1986, pp. 96\u2013109.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"23_CR10","first-page":"221","volume-title":"Reducing the Probability of CommonMode Failures in the Fault Tolerant Parallel Processor","author":"JH Lala","year":"1993","unstructured":"Lala J.H., Harper R.E., \u201cReducing the Probability of CommonMode Failures in the Fault Tolerant Parallel Processor\u201d, 12th IEEE\/AIAA Digital Avionics Systems Conference, 1993, pp. 221\u2013230."},{"key":"23_CR11","unstructured":"Laprie J.C., Littlewood B., \u201cQuantitative Assessment of Safety-Critical Software: Why and How?\u201d, ESPRIT BRA Project 3092 Predicting Dependable Computing Systems, Second Year Report, Volume 3."},{"key":"23_CR12","series-title":"Dependable Computing and Fault-Tolerant Systems series","volume-title":"Dependability: Basic Concepts and Terminology","year":"1992","unstructured":"Laprie J.C. (ed.), \u201cDependability: Basic Concepts and Terminology\u201d, Dependable Computing and Fault-Tolerant Systems series, Vol.5, Spring-Verlag, 1992."},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B Randell","year":"1975","unstructured":"Randell B, \u201cSystem Structure for Software Fault -Tolerance\u201d, IEEE Trans. on Soft. Eng., Vol. SE-1, 1975, pp. 220\u2013232.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Sahner R.A., Trivedi K.S., \u201cA Software Tool for Learning About Stochastic Models\u201d, IEEE Trans. on Education, Vol.36, No.1, 1993.","DOI":"10.1109\/13.204817"},{"key":"23_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0029-5493(86)90222-0","volume":"93","author":"IA Watson","year":"1986","unstructured":"Watson I.A., \u201cAnalysis of Dependent Events and Multiple Unavailabilities with Particular Reference to Common-Cause Failures\u201d, Nuclear Engineering and Design 93, 1986, pp.227\u2013244.","journal-title":"Nuclear Engineering and Design"}],"container-title":["Safe Comp 95"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3054-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T05:22:13Z","timestamp":1557638533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3054-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199625","9781447130543"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3054-3_23","relation":{},"subject":[],"published":{"date-parts":[[1995]]}}}