{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T10:38:30Z","timestamp":1649068710905},"reference-count":21,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1016\/0165-6074(94)90086-8","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T13:14:48Z","timestamp":1062594888000},"page":"207-222","source":"Crossref","is-referenced-by-count":2,"title":["Dependable flight control system by data diversity and self-checking components"],"prefix":"10.1016","volume":"40","author":[{"given":"J","family":"Christmansson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z","family":"Kalbarczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J","family":"Torin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(94)90086-8_BIB1","series-title":"Proc. IEEE Fault Tolerant Computing Symp.","first-page":"122","article-title":"Data diversity: An approach to software fault tolerance","author":"Ammann","year":"1987"},{"key":"10.1016\/0165-6074(94)90086-8_BIB2","series-title":"Proc. 2nd Internat. Conf. on Software Engineering","first-page":"447","article-title":"Recovery blocks in action: A system supporting high reliability","author":"Anderson","year":"1976"},{"issue":"12","key":"10.1016\/0165-6074(94)90086-8_BIB3","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TSE.1985.231893","article-title":"The N-version approach to fault-tolerant software","volume":"SE-11","author":"Avizienis","year":"1985","journal-title":"IEEE Trans. Soft. Engr."},{"issue":"9","key":"10.1016\/0165-6074(94)90086-8_BIB4","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/TSE.1986.6313048","article-title":"PODS \u2014 A Project on Divers Software","volume":"SE-12","author":"Bishop","year":"1986","journal-title":"IEEE Trans. Soft. Engrg."},{"key":"10.1016\/0165-6074(94)90086-8_BIB5","series-title":"IEEE Fault Tolerant Computing Symp.","first-page":"98","article-title":"The variation of survival time for different operational input profiles (or why you can wait a long time for a big bug to fail)","author":"Bishop","year":"1993"},{"key":"10.1016\/0165-6074(94)90086-8_BIB6","first-page":"3","article-title":"N-version programming: A fault-tolerance approach to reliability of software operation","volume":"8","author":"Chen","year":"1978"},{"issue":"2","key":"10.1016\/0165-6074(94)90086-8_BIB7","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1109\/TSE.1980.234477","article-title":"A user-oriented software reliability model","volume":"SE-6","author":"Cheung","year":"1980","journal-title":"IEEE Trans. Soft. Engrg."},{"key":"10.1016\/0165-6074(94)90086-8_BIB8","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on test data selection: Help for the practicing programmer","author":"DeMillo","year":"1978","journal-title":"Computer"},{"issue":"12","key":"10.1016\/0165-6074(94)90086-8_BIB9","doi-asserted-by":"crossref","first-page":"1511","DOI":"10.1109\/TSE.1985.231895","article-title":"A theoretical basis for the analysis of multiversion software subject to coincident errors","volume":"SE-11","author":"Eckhardt","year":"1985","journal-title":"IEEE Trans. Soft. Engrg."},{"key":"10.1016\/0165-6074(94)90086-8_BIB10","series-title":"Proc. AIAA\/DGLR 5th Internat. Aerospace Planes and Hypersonics Technologies Conf.","article-title":"Space and time segregation to support tolerance of errors in flight control software","author":"Edler","year":"1993"},{"key":"10.1016\/0165-6074(94)90086-8_BIB11","article-title":"Why do computers stop and what can be done about it?","author":"Gray","year":"1985","journal-title":"Tandem Tech. Report 85.7"},{"key":"10.1016\/0165-6074(94)90086-8_BIB12","article-title":"Experimental Analysis of Computer Systems Dependability","author":"Iyer","year":"1993"},{"key":"10.1016\/0165-6074(94)90086-8_BIB13","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/TSE.1986.6312924","article-title":"An experimental evaluation of the assumption of independence in multiversion programming","volume":"SE-12","author":"Knight","year":"1986","journal-title":"IEEE Trans. Soft. Engrg."},{"key":"10.1016\/0165-6074(94)90086-8_BIB14","unstructured":"J.C. Laprie and B. Littewood, Quantitative assessment of safety-critical software: Why and How?, ESPRIT BRA Project 3092 Predicting Dependable Computing Systems, Second Year Report, Vol. 3."},{"key":"10.1016\/0165-6074(94)90086-8_BIB15","series-title":"Dependability: Basic Concepts and Terminology","volume":"Vol. 5","year":"1992"},{"key":"10.1016\/0165-6074(94)90086-8_BIB16","article-title":"Fault tolerance: Principle and practice","volume":"vol. 3","author":"Lee","year":"1990"},{"key":"10.1016\/0165-6074(94)90086-8_BIB17","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","article-title":"System structure for software fault-tolerance","volume":"SE-1","author":"Randell","year":"1975","journal-title":"IEEE Trans. Soft. Engrg."},{"issue":"1","key":"10.1016\/0165-6074(94)90086-8_BIB18","doi-asserted-by":"crossref","DOI":"10.1109\/13.204817","article-title":"A software tool for learning about stochastic models","volume":"36","author":"Sahner","year":"1993","journal-title":"IEEE Trans. Education"},{"key":"10.1016\/0165-6074(94)90086-8_BIB19","series-title":"Proc. Total System Reliability Symp.","first-page":"74","article-title":"The consensus recovery block","author":"Scott","year":"1983"},{"issue":"1","key":"10.1016\/0165-6074(94)90086-8_BIB20","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1147\/rd.201.0020","article-title":"Redundancy management technique for space shuttle computers","volume":"20","author":"Sklaroff","year":"1976","journal-title":"IBM JRD"},{"key":"10.1016\/0165-6074(94)90086-8_BIB21","article-title":"Tolerance of design faults by diversified program execution","author":"Torin","year":"1992"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607494900868?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607494900868?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T05:26:51Z","timestamp":1551072411000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607494900868"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":21,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["0165607494900868"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(94)90086-8","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}