{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:02Z","timestamp":1742598602491,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584261"},{"type":"electronic","value":"9783540487852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58426-9_138","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:58:55Z","timestamp":1330271935000},"page":"307-326","source":"Crossref","is-referenced-by-count":7,"title":["Systematic and design diversity \u2014 Software techniques for hardware fault detection"],"prefix":"10.1007","author":[{"given":"Tomislav","family":"Lovric","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"No.6","key":"18_CR1","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1109\/TC.1980.1675602","volume":"C-29","author":"J. A. Abraham","year":"1980","unstructured":"J. A. Abraham, S. M. Thatte: Test Generation for microprocessors; IEEE Transactions on Computers, Vol. C-29, No. 6, Juni 1980, pp. 429\u2013441.","journal-title":"IEEE Transactions on Computers"},{"unstructured":"Paul E. Ammann, John C. Knight: Data diversity: an approach to software fault tolerance; FTCS-17, conf. proc., IEEE, 1987, pp. 122\u2013126.","key":"18_CR2"},{"unstructured":"Jean Arlat, Jean-Claude Laprie: On the dependability evaluation of high safety sytems; FTCS-15, conf. proc., IEEE, 1987, pp. 318\u2013323.","key":"18_CR3"},{"unstructured":"Algirdas Avizienis: Fault-tolerance in computer systems; System reliability and integrity, Vol. 2, Infotech International, 1978, pp. 39\u201362","key":"18_CR4"},{"doi-asserted-by":"crossref","unstructured":"S. S. Brilliant, J. C. Knight, N. G. Leveson: The consistent comparison problem in n-version software; SIGSOFT software engineering notes, vol. 12, no. 1, acm, 1987, pp. 29\u201334.","key":"18_CR5","DOI":"10.1145\/24574.24575"},{"issue":"No.2","key":"18_CR6","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1109\/32.44387","volume":"16","author":"S. S. Brilliant","year":"1990","unstructured":"Susan S. Brilliant, John C. Knight, Nancy G. Leveson: Analysis of Faults in an N-Version Software Experiment; IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990, pp 238\u2013247.","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Liming Chen, Algirdas Avizienis: N-Version Programming: A Fault-Tolerance Approach to the Reliability of Software Operations; FTCS-8, conf. proc., IEEE, 1978, pp. 3\u20139.","key":"18_CR7"},{"doi-asserted-by":"crossref","unstructured":"Edward W. Czeck, Daniel P. Siewiorek: Effects of Transient Gate-Level Faults on Program Behavior; FTCS-20, conf. proc., IEEE, 1990, pp. 236\u2013243.","key":"18_CR8","DOI":"10.1109\/FTCS.1990.89371"},{"key":"18_CR9","first-page":"135","volume-title":"Ergebnisvalidierung und nebenl\u00e4ufige Hardwarefehlererkennung mittels systematisch erzeugter Diversit\u00e4t","author":"H. D\u00fccker","year":"1993","unstructured":"H. D\u00fccker: Ergebnisvalidierung und nebenl\u00e4ufige Hardwarefehlererkennung mittels systematisch erzeugter Diversit\u00e4t; Verl\u00e4\\liche Informationssysteme, Vieweg, Braunschw. 1993, pp. 135\u2013162."},{"unstructured":"H. D\u00fccker, K. Echtle: Detection of design faults by diverse software in layered systems; 4th European workshop on dependable computing, EWDC-4, Prague, 1992 (available on request from the author).","key":"18_CR10"},{"unstructured":"K. Echtle, B. Hinz, T. Nikolov: On hardware fault diagnosis by diverse software; Hardware and software fault tolerance in parallel computing systems, Ellis Horwood Chichester 92, pp.313\u2013325.","key":"18_CR11"},{"unstructured":"W. Hahn, M. G\u00f6ssel: Pseudoduplication of floating point addition \u2014 a method of compiler generated checking of permanent harware faults; Conf. Proc. 9th anual IEE VLSI test symposium, 1991.","key":"18_CR12"},{"key":"18_CR13","first-page":"134","volume-title":"Informatik-Fachberichte 214","author":"J. P. Kelly","year":"1989","unstructured":"J. P. Kelly; Current experiences with fault tolerant software design; dependability through diverse formal specifications?; 4. int. GI-ITG-GMA-Conf. \u201cFehlertolerierende Rechensysteme\u201d, Informatik-Fachberichte 214, Springer-Verlag, Heidelberg, 1989, pp. 134\u2013149."},{"doi-asserted-by":"crossref","unstructured":"R. Konakovsky; Verfahren der vollst\u00e4ndigen Fehlererkennung durch gezielten Einsatz von Diversit\u00e4t; Proze\\rechner 1988, Informatik-Fachberichte 167, Springer 1988, pp. 281\u2013290.","key":"18_CR14","DOI":"10.1007\/978-3-642-73445-8_20"},{"doi-asserted-by":"crossref","unstructured":"H. Kopetz, H. Kantz, G. Gr\u00fcnsteidl, P. Puschner, J. Reisinger: Tolerating Transient Faults in MARS; FTCS-20, conf. proc., IEEE, 1990, pp. 466\u2013473.","key":"18_CR15","DOI":"10.1109\/FTCS.1990.89384"},{"unstructured":"Jaynarayan H. Lala, Linda S. Alger: Hardware and Software fault tolerance: a unified architectural approach; FTCS-18, conf. proc., IEEE, 1988, pp. 240\u2013245.","key":"18_CR16"},{"unstructured":"J.C. Laprie, J. Arlat, C. Beounes, K. Kanoun, C. Hourtolle: Hardware-and software-fault tolerance: definition and analysis of architectural solutions; FTCS-17, conf. proc., IEEE, 1987, pp. 116\u2013121.","key":"18_CR17"},{"doi-asserted-by":"crossref","unstructured":"Richard J. Lipton: New Directions in Testing; DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 2, 1991.","key":"18_CR18","DOI":"10.1090\/dimacs\/002\/13"},{"unstructured":"G\u00fcnther Leber, Herman Kopez: Preliminary Results of the Validation of the MARS system by EMI Fault Injection; IEEE International Workshop on Fault and Error Injection for Dependability Validation of Computer Systems, 17\u201318 Juni, G\u00f6teborg, Schweden.","key":"18_CR19"},{"unstructured":"T. Lovric, K. Echtle: ProFI: Prozessor fault injection for dependability validation; IEEE Int. Workshop on Fault and Error Injection for Dependability Validation of Computer Systems, June 17\u201318, G\u00f6teborg, Sweden (available on request from the author).","key":"18_CR20"},{"unstructured":"T. Lovric, K. Echtle; Hardware and Software Fault Tolerance using Fail-Silent Virtual Duplex Systems; 1994 IEEE Workshop on Fault Tolerant and Distributed Systems, 13\u201314 June 1994, Texas.","key":"18_CR21"},{"unstructured":"Tomislav Lovric: Erkennung permanenter Hardwarefehler durch Entwurfsdiversit\u00e4t und systematische Diversit\u00e4t im Virtuellen Duplex-System; Universit\u00e4t Dortmund, interner Bericht 502 (available on request from the author).","key":"18_CR22"},{"unstructured":"H. Madeira, F. Moreira, M. Rela, P. Furtado, G. J. Silva: Pin-Level Fault Injection for Dependability Validation: Some Research Results at the University of Coimbra; IEEE Int. Workshop on Fault and Error Injection for Dependability Validation of Computer Systems, 17\u201318 Juni, G\u00f6teborg, Schweden.","key":"18_CR23"},{"unstructured":"Victor P Nelson, Bill D. Caroll: Reliability Modeling and General Redundancy Techniques; Tutorial: Fault Tolerant Computing, Chapter 2, IEEE, 1987, pp. 45\u201367.","key":"18_CR24"},{"unstructured":"Choong Gun Oh, Hee Yong Youn, Vijay K. Raj: Rearranged Hamming Checksum for Matrix Computations with Algorithm-Based Fault Tolerance; 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, pp. 185\u2013192.","key":"18_CR25"},{"doi-asserted-by":"crossref","unstructured":"Behrooz Parhami: Optimal Algorithms for Exact, Inexact, and Approval Voting; Fault-tolerant computing symposium FTCS-22, conf. proc., IEEE, 1992, pp. 404\u2013411.","key":"18_CR26","DOI":"10.1109\/FTCS.1992.243595"},{"key":"18_CR27","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1109\/TC.1982.1676055","volume":"C-31","author":"H. H. Patel","year":"1982","unstructured":"H. H. Patel, L. Y. Fung: Concurrent Error Detection in ALU's by Recomputing with Shifted Operands; IEEE Transactions on computers, C-31, 1982, pp. 589\u2013595","journal-title":"IEEE Transactions on computers"},{"key":"18_CR28","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TC.1983.1676246","volume":"C-32","author":"H. H. Patel","year":"1983","unstructured":"H. H. Patel, L. Y. Fung: Concurrent Error Detection in Multiply and Divide Arrays; IEEE Transactions on computers, C-32, 1983, pp. 417\u2013422","journal-title":"IEEE Transactions on computers"},{"unstructured":"Ronit Rubinfeld: A Mathematical Theorie of Self-Checking, Self Testing and Self Correcting Programms; doctoral thesis, Univ. Calif. Berkley, 1990.","key":"18_CR29"},{"doi-asserted-by":"crossref","unstructured":"Keith Scott, James W. Gault, David F. McAllister: Fault-tolerant software reliability modeling; Transactions on software engineering, vol. SE-13, no. 1, IEEE, 1987, pp. 3\u201314.","key":"18_CR30","DOI":"10.1109\/TSE.1987.233463"},{"unstructured":"Udo Voges: Software-Diversit\u00e4t und ihre Modellierung; Informatik Fachberichte 224, Springer '89.","key":"18_CR31"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-1"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58426-9_138.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:28:35Z","timestamp":1742596115000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58426-9_138"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584261","9783540487852"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-58426-9_138","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}