A fault-tolerant mechanism for simple controllers

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

Volumn 852 LNCS, Issue , 1994, Pages 39-55

  Silva, João Gabriel ^a   Silvat, Luís Moura ^a   Madeira, Henrique ^a   Bernardino, Jorge ^a  

^a UNIVERSITY OF COIMBRA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ACCEPTANCE TESTS; CONTROLLERS; COSTS; FAULT TOLERANCE; RECOVERY; SOFTWARE TESTING;

COST CONSTRAINTS; DOMINO EFFECTS; FAULT TOLERANT TECHNIQUE; FAULT-TOLERANT MECHANISM; HARDWARE AND SOFTWARE; INDUSTRIAL CONTROLLERS; NON-DETERMINISTIC PROCESS; RECOVERY BLOCK;

PROGRAM DEBUGGING;

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

References (34)

1. A. Mahmood, “Concurrent Error Detection Using Watchdog Processors - A Survey” IEEE Transactions on Computers, vol. 37, n. 2, February 1988, pp 160-174.
2. B. Randell. “System Structure for Software Fault Tolerance”, IEEE Transactions on Software Engineering, vol. SE-1 (2), pp. 226-232, June 1975
3. J.P. Banatre, M. Banatre, G. Lapalme, F. Ployette, “The design and building of Enchére, a distributed electronic marketing system” Communications of the ACM, Vol. 29, n. 1, January 1986.
4. G. Muller, B. Rochat, P. Sanchez “A Stable Transactional Memory for Building Robust Object Oriented Programs” Prec. of Euromicro 91, Vienna, 1991.
5. M. Banatre, G. Muller, J.P. Banatre. “Ensuring Data Security and Integrity with a Fast Stable Storage”, Proc. 4th Conf. on Data Engineering, pp. 285-293, 1988
6. D.P. Siewiorek, R. Schwarz “The theory and practice of Reliable Design” Digital Press, 1984.
7. P.K. Lala “Fault-tolerant and fault-testable hardware design” Prentice-Hall, New York, 1985.
8. H. Madeira, B. Fernandes, M. Rela, J.G. Silva. “The Fault-Tolerant Architecture of the SAFE System”, Microprocessing and Microprogramming, vol. 27, n. 1-5, pp. 705-712, August 1989.
9. Jean Arlat et al., “Fault-injection for dependability validation: a methodology and some applications” IEEE Trans. on Software Engineering, Vol 16, n. 2, February 1990, pp 166-182.
10. Andreas Damm, “The effectiveness of software error detection techniques in real time operating systems” FFCS-16, Vienna, Auslria, July 1986, pp. 171-176.
11. U. Gunneflo, J. Karlsson, J. Torin, “Evaluation of error detection schemes using fault-injection by heavy-ion radiation” FTCS-19, Chicago, June 1989, pp. 340-347.
12. R. Leveugle, T. Michel, G. Saucier “Design of Microprocessors with Built-In On-Line Test” FTCS-20, 1990, pp. 450-456.
13. H. Madeira, G. Quadros, João Gabriel Silva. “Experimental Evaluation of a Set of Simple Error Detection Mechanisms”, Microprocessing and Microprogramming, vol. 30, n. 1-5, pp. 513-520, August 1990.
14. Henrique Madeira, “Behaviour-based error detection” Ph.D. Thesis, University of Coimbra, Portugal, July 1993 (in portuguese).
15. M.A. Schuette, J.P. Shen “Processor Control Flow Monitoring Using Signatured Instruction Streams” IEEE Transactions on Computers, vol. 36, n.3, March 1987, pp 264-275.
16. H. Madeira, F. Moreira, P. Furtado, M. Rela, J.G. Silva “Pin-Level Fault-Injection: Some Research Results at the University of Coimbra” IEEE Int. Workshop on Fault and Error Injection for Dependability Validation, Gothemburg, Sweden, July 1993.
17. Henrique Madeira and Jolt Gabriel Silva “Experimental evaluation of the failsilent behaviour in computers without error masking” FTCS-24, Austin, Texas, June 1994.
18. D.M. Andrews. “Using Executable Assertions for Testing and Fault-Tolerance”, Proc. FTCS-9, pp. 102-105, 1979
19. John Hudak, Byung-Hoon Suh, Dan Siewiorek, Zary Segall “Evaluation and Comparison of Fault-Tolerant Software Techniques” IEEE Transactions on Reliability, Vol. 42, No. 2, June 1993, pp. 190-204.
20. Jorge Beruardino “Data survival in main memory” Master thesis, University of Coimbra, January 1994 (in portuguese).
21. A. Avizienis “The n-version approach to fault-tolerant software”, IEEE Trans. Software Engineering, Vol Se-11, 1985 December, pp 1502-1510.
22. T. Anderson, P.A. Barrett, D.N. Halliwell, M.R. Moulding “Software Fault Tolerance: An Evaluation”, IEEE Trans. on Software Engineering, vol. SE-11, No. 12, pp. 1502-1510, 1985
23. T. Anderson, J.C.Knight. “A Framework for Software Fault Tolerance in Real-Time Systems”, IEEE Trans. on Software Engineering, vol. SE-9 (3), pp. 355-364, 1983
24. S.T. Gregory, J.C.Knight. “A New Linguistic Approach to Backward Error Recovery” Proc. FTCS-15, pp. 404-409, 1985
25. P. Jalote, R.H. Campbell “Atomic Actions for Fault Tolerance Using CSP”, IEEE Trans. on Software Engineering, vol. SE-12 (1), pp. 59-68, January 1986
26. S.K. Shrivastava, A. Waterworth “Using Objects and Actions to provide Fault-Tolerance in Distributed, Real-Time Applications” Proceedings of the IEEE Real-Time Systems Symposium, 1991.
27. João Gabriel Silva. “A, Real-Time Operating System for a Distributed Faultj Tolerant Architecture, PhD Thesis, University of Coimbra, November 1987 (in Portuguese).
28. Michel Banatre, Pack Heng, Gilles Muller, Bruno Rochat “How to Design Reliable Servers using Fault-Tolerant Micro-Kernel Mechanisms” Proc. of the Usenix Mach Symposium, Usenix Association, November 1991.
29. R. Pausch. “Adding Input and Output to the Transactional Model” PhD Thesis, Carnegie Mellon University, CMU-CS-88-171, 1988
30. S.K. Shrivastava, A.A. Akinpelu “Fault-Tolerant Sequencial Programming Using Recovery Blocks” Digest of Papers, FTCS-8, June 1978, Toulouse.
31. D. Comer. “Operating System Design - Volume II: Internetworking with X1NU” Prentice-Hall, 1987
32. A.M. Tyrrell, G.F. Carpenter. “The Specification and Design of Atomic Actions for Fault Tolerant Concurrent Software”, Microprocessing and Microprogramming, vol. 35, pp. 363-368, 1992
33. S. Horiguchi M Y. Shigei. “A Parallel Sorting Algorithm for a Linearly Connected Multiprocessor System”, Proc. 6th Int. Conf. on Dist. Computing Systems, pp. 111-118, 1986.
34. R.D. Schlichting, F. Cristian, T.D.M. Purdin. “A Linguistic Approach to Failure Handling in Distributed Systems”, in Dependable Computing for Critical Applications, Springer Verlag, pp. 387-409, 1991