{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:59:39Z","timestamp":1738216779694,"version":"3.34.0"},"publisher-location":"Boston, MA","reference-count":17,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081569"},{"type":"electronic","value":"9781402081576"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-8157-6_12","type":"book-chapter","created":{"date-parts":[[2008,4,7]],"date-time":"2008-04-07T16:54:40Z","timestamp":1207587280000},"page":"79-90","source":"Crossref","is-referenced-by-count":0,"title":["Dependable Systems of the Future: What is Still Needed?"],"prefix":"10.1007","author":[{"given":"Algirdas","family":"Avi\u017dienis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"A. Avi\u017eienis, A fault tolerance infrastructure for dependable computing with high performance COTS components, Proc. of the Int. Conference on Dependable Systems and Networks (DSN 2000), New York, June 2000, pages 492\u2013500.","DOI":"10.1109\/ICDSN.2000.857581"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"A. Avi\u017eienis and Y. He, Microprocessor entomology: A taxonomy of design faults in COTS microprocessors. In J. Rushby and C.B. Weinstock, editors, Dependable Computing for Critical Applications 7, IEEE Computer Society Press, 1999, pp. 3\u201323.","DOI":"10.1109\/DCFTS.1999.814287"},{"key":"12_CR3","unstructured":"Y. He and A. Avi\u017eienis. Assessment of the applicability of COTS microprocessors in high confidence computing systems: A case study. Proceedings of ICDSN 2000, June 2000."},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1109\/40.755464","volume":"19","author":"T.J. Slegel","year":"1999","unstructured":"T.J. Slegel et al. IBM\u2019s S\/390 G5 microprocessor design. IEEE Micro, 19(2):12\u201323, March\/April 1999.","journal-title":"IEEE Micro"},{"issue":"8","key":"12_CR5","doi-asserted-by":"publisher","first-page":"4049","DOI":"10.1109\/MC.1984.1659216","volume":"17","author":"D. Johnson","year":"1984","unstructured":"D. Johnson. The Intel 432: a VLSI architecture for fault-tolerant computer systems. Computer 17(8):4049, August 1984.","journal-title":"Computer"},{"key":"12_CR6","unstructured":"Intel Corp. P6 Family of Processors Hardware Developer\u2019s Manual, September 1998. Order No. 244001-001."},{"key":"12_CR7","unstructured":"Ziatech Corp. Redundant CPU Architecture for High Availability Systems. \u201cWhite paper,\u201d October 1999, available at www.ziatech.com."},{"key":"12_CR8","unstructured":"Intel Corp. The Pentium II Xeon Processor Server Platform System Management Guide, June 1998. Order No. 243835-001."},{"key":"12_CR9","unstructured":"Intel Corp. Intel Pentium III Processor Specification Update, May 2001. Order No. 244453-029."},{"issue":"8","key":"12_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/MC.1984.1659219","volume":"17","author":"A. Avi\u017eienis","year":"1984","unstructured":"A. Avi\u017eienis and J.P.J. Kelly. Fault tolerance by design diversity: concepts and experiments. Computer, 17(8):67\u201380, August 1984.","journal-title":"Computer"},{"key":"12_CR11","unstructured":"Y.C. Yeh. Dependability of the 777 primary flight control system, in R.K. Iyer et al., editors, Dependable Computing for Critical Applications 5, IEEE Computer Society Press, 1997, pp. 3\u201317."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"M.K. Joseph and A. Avi\u017eienis. A fault tolerance approach to computer viruses. Proc. Of the 1988 IEEE Symposium on Security andPrivacy, April 1988, pp.52\u201358.","DOI":"10.1109\/SECPRI.1988.8097"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/2.585154","volume":"30","author":"A. Avi\u017eienis","year":"1997","unstructured":"A. Avi\u017eienis. Toward systematic design of fault-tolerant systems. Computer, 30(4):51\u201358, April 1997.","journal-title":"Computer"},{"issue":"33","key":"12_CR14","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1038\/scientificamerican0993-52","volume":"269","author":"G.J.V. Nossal","year":"1993","unstructured":"G.J.V. Nossal. Life, death and the immune system. Scientific American, 269(33)52\u201362, September 1993.","journal-title":"Scientific American"},{"key":"12_CR15","unstructured":"S.A. Hofmeyr and S. Forrest. Immunity by design: An artificial immune system. Proc. 1999 Genetic and Evolutionary Computation Conference, pages 1289\u20131296. Morgan-Kaufmann, 1999."},{"issue":"3","key":"12_CR16","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1038\/scientificamerican0300-40","volume":"282","author":"Special report","year":"2000","unstructured":"Special report: sending astronauts to Mars. Scientific American, 282(3):40\u201363, March 2000.","journal-title":"Scientific American"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"A. Avi\u017eienis. The hundred year spacecraft. Proceedings of the 1 st NASA\/DoD Workshop on Evolvable Hardware, Pasadena, CA, July 1999, pp.233\u2013239.","DOI":"10.1109\/EH.1999.785458"}],"container-title":["IFIP International Federation for Information Processing","Building the Information Society"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-8157-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T15:02:34Z","timestamp":1738162954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-8157-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781402081569","9781402081576"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-8157-6_12","relation":{},"subject":[]}}