This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Reliable Fail-Safe System
February 1998 (vol. 47 no. 2)
pp. 236-241

Abstract—This paper describes a fault-tolerant system that is based on two replicas of a self-checking module and on an error-masking interface. The main contributions of this work rely on the fail-safe/strongly-fail-safe design of the error-masking interface, and on the analysis of the competitiveness of this fault-tolerant scheme with respect to its reliability.

[1] W. Carter and P. Schneider, "Design of Dynamically Checked Computers," Proc. IFIP '68 Congress, pp. 878-883,Amsterdam, 1968.
[2] D. Anderson, "Design of Self-CheckingDigital Networks Using Coding Techniques," Technical Report 527, Coordinated Science Lab., Univ. of Illi nois, Urbana-Champaign, Sept. 1971.
[3] D. Anderson and G. Metze, "Design of Totally Self-Checking Circuits for m-out-of-n Codes," IEEE Trans. Computers, vol. 22, no. 3, pp. 263-269, Mar. 1973.
[4] J. Smith and G. Metze, "Strongly Fault Secure Logic Networks," IEEE Trans. Computers, vol. 27, no. 6, pp. 491-499, June 1978.
[5] M. Nicolaidis and B. Courtois, "Strongly Code-Disjoint Checkers," IEEE Trans. Computers, Vol. 37, No. 6, June 1988, pp. 751-756.
[6] M. Nicolaidis, "A Unified Built-In Self-Test Scheme: UBIST," Proc. 18th Int'l Symp. Fault-Tolerant Computing, pp. 157-163,Tokyo, June 1988.
[7] M. Nicolaidis, S. noraz, and B. Courtois, "A Generalized Theory of Fail Safe Systems," Proc. 19th Int'l Symp. Fault-Tolerant Computing, pp. 398-406,Montreal, Canada, June 1989.
[8] C.M. Maunder and R.E. Tulloss, The Test Access Port and Boundary-Scan Architecture. IEEE CS Press, 1990.
[9] M. Lubaszewski and B. Courtois, "On the Design of Self-Checking Boundary Scannable Boards," Proc. 23rd Int'l Test Conf., pp. 372-381,Baltimore, Sept. 1992.
[10] B. Courtois, "On Balancing Safety and Reliability of Hybrid and 'Bi-Duplexed' Systems," Proc. Sixth Int'l Symp. Fault-Tolerant Computing, pp. 52-57,Pittsburgh, June 1976.
[11] M. Nicolaidis, "Efficient Implementations of Self-Checking Adders and ALUs," Proc. 23rd Int'l Symp. Fault-Tolerant Computing, pp. 586-595,Toulouse, France, June 1993.
[12] M. Nicolaidis, "Efficient UBIST Implementation for Microprocessor Sequencing Parts," Proc. 21st Int'l Test Conf., pp. 316-326,Washington, D.C., Sept. 1990.

Index Terms:
Self-checking, fail-safe, reliability, concurrent error detection, built-in self-test.
Citation:
Marcelo Lubaszewski, Bernard Courtois, "A Reliable Fail-Safe System," IEEE Transactions on Computers, vol. 47, no. 2, pp. 236-241, Feb. 1998, doi:10.1109/12.663771
Usage of this product signifies your acceptance of the Terms of Use.