Systematic and design diversity - Software techniques for hardware fault detection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 852 LNCS, Issue , 1994, Pages 309-326

  Lovric, Tomislav ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

Absolute test; Design diversity; Design faults; Fail safe; Fault detection coverage; Operational faults; Relative test; Self checking; Software implemented hardware fault injection; Systematic diversity; Virtual duplex system

Indexed keywords

APPLICATION PROGRAMS; PROGRAM PROCESSORS; REDUNDANCY; SOFTWARE DESIGN; SOFTWARE TESTING;

DESIGN DIVERSITY; DESIGN FAULTS; DETECTION COVERAGE; FAIL SAFES; HARDWARE FAULTS; SELF CHECKING; SYSTEMATIC DIVERSITY; VIRTUAL DUPLEX SYSTEMS;

FAULT DETECTION;

EID: 84969392701     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58426-9_138     Document Type: Conference Paper

References (31)

1. J. A. Abraham, S. M. Thatte: Test Generation for microprocessors; IEEE Transactions on Computers, Vol. C-29, No. 6, Juni 1980, pp. 429-441.
2. Paul E. Ammann, John C. Knight: Data diversity: an approach to software fault tolerance; FTCS-17, conf. proc., IEEE, 1987, pp. 122-126.
3. Jean Arlat, Jean-Claude Laprie: On the dependability evaluation of high safety sytems; FTCS-15, conf. proc., IEEE, 1987, pp. 318-323.
4. Algirdas Avizienis: Fault-tolerance in computer systems; System reliability and integrity, Vol. 2, Infotech International, 1978, pp. 39-62
5. 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-34.
6. 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-247.
7. 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-9.
8. Edward W. Czeck, Daniel P. Siewiorek: Effects of Transient Gate-Level Faults on Program Behavior, FTCS-20, conf. proc., IEEE, 1990, pp. 236-243.
9. H. Dücker: Ergebnisvalidierung land nebenläiufige Hardwarefehlererkennung mittels systematisch erzeugter Diversität; Verläßis Informationssysteme, Vieweg, Braunschw. 1993, pp. 135-162.
10. th European workshop on dependable computing, EWDC-4, Prague, 1992 (available on request from the author).
11. 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-325.
12. W. Hahn, M. Gössel: Pseudoduplication of floating point addition-a method of compiler generated checking of permanent harware faults; Conf. Proc. 9th anual IEE VLSI test symposium, 1991.
13. J.P. Kelly: Current experiences with fault tolerant software design: dependability through diverse formal specifications?; 4. int. GI-ITG-GMA-Conf. “Fehlertolerierende Rechensysteme”, Informatik-Fachberichte 214, Springer-Verlag, Heidelberg, 1989, pp. 134-149.
14. R. Konakovsky: Verfahren der vollständigen Fehlererkennung dutch gezielten Einsatz von Diversität; Prozeßrechner 1988, Informatik-Fachberichte 167, Springer 1988, pp. 281-290.
15. H. Kopetz, H. Kantz, G. Grünsteidl, P. Puschner, J. Reisinger: Tolerating Transient Faults in MARS; FTCS-20, conf. proc., IEEE, 1990, pp. 466-473.
16. Jaynarayan H. Lala, Linda S. Alger: Hardware and Software fault tolerance: a unified architectural approach; FTCS-18, conf. proc., IEEE, 1988, pp. 240-245.
17. 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-121.
18. Richard J. Lipton: New Directions in Testing; DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Vol. 2, 1991.
19. Günther 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-18 Juni, Göteborg, Schweden.
20. 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-18, Göteborg, Sweden (available on request from the author).
21. 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-14 June 1994, Texas.
22. Tomislav Lovric: Erkennung permanenter Hardwarefehler durch Entwurfsdiversität und systematische Diversität im Virtuellen Duplex-System; Universität Dortmund, interner Bericht 502 (available on request from the author).
23. 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-18 Juni, Göteborg, Schweden.
24. Victor P Nelson, Bill D. Carolh Reliability Modeling and General Redundancy Techniques; Tutorial: Fault Tolerant Computing, Chapter 2, IEEE, 1987, pp. 45-67.
25. 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-192.
26. Behrooz Parhami: Optimal Algorithms for Exact, Inexact, and Approval Voting; Fault-tolerant computing symposium FTCS-22, conf. proc., IEEE, 1992, pp. 404-411.
27. 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-595
28. H. H. Patel, L. Y. Fung: Concurrent Error Detection in Multiply and Divide Arrays; IEEE Transactions on computers, C-32, 1983, pp. 417-422
29. Ronit Rubinfeld: A Mathematical Theorie of Self-Checking, Self Testing and Self Correcting Programms; doctoral thesis, Univ. Calif. Berkley, 1990.
30. 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-14.
31. Udo Voges: Software-Diversität und ihre Modellierung; Informatik Fachberichte 224, Springer '89.