Reliability modeling of large fault-tolerant systems

FTCS 1992 - 22nd Annual International Symposium on Fault-Tolerant Computing

Volumn , Issue , 1992, Pages 212-220

  Suri, N ^a   Hugue, M M ^a   Walter, C J ^a  

^a HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLUSTER COMPUTING; FAULT TOLERANT COMPUTER SYSTEMS; SYSTEMS ANALYSIS;

CONNECTED SYSTEMS; CONSISTENCY ALGORITHMS; FAULT TOLERANT SYSTEMS; REDUCED SYSTEMS; RELIABILITY ESTIMATES; RELIABILITY MODEL; SYSTEM FAULT TOLERANCE; SYSTEM FUNCTIONALITY;

FAULT TOLERANCE;

EID: 84942007162     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1992.243598     Document Type: Conference Paper

References (18)

1. S. Bavuso et al., "Analysis of typical faulttolerant architecture using HARP, " IEEE Tran6. on Reliability, vol. r-36, pp. 176-185, June 1987.
2. D. Dolev et al., "An efficient algorithm for Byzantine agreement without authentication, " Journal of Info. and Control, 52, pp. 257-274, 1982.
3. D. Dolev et al., "Reaching approximate agreement in the presence of faults, " IEEE Sym. on Reliability in Real Time Sy11., pp. 145-154, Oct 1983.
4. J. Halpern et al., "Fault tolerant clock synchronization, " Principle11 of Di11tr. Computing, pp. 89-102, 1984.
5. R. Harper, Critical Iuue11 in Ultra-Reliable Parallel Proceuing. PhD thesis, MIT, Cambridge, Boston, May 1987.
6. A. L. Hopkins et al., "FTMP-A highly reliable fault-tolerant multiprocessor for aircraft, " Proceeding l of IEEE, vol. 66, Oct 1978.
7. M. M. Hugue, "Static reliability modelling with the hybrid fault model, " Proceeding of ONR Ultra Dependable Multi-computer and Electronic System 81 pp. 23-28, Nov 1991.
8. B. Johnson, Deign and Analy11i11 of Fault Tolerant Digital System 11. Addison-Wesley, 1989.
9. R. Kieckhafer, C. Walter, A. Finn, and P. Thambidurai, "The MAFT architecture for distributed fault tolerance, " IEEE Tran11. on Computer11, vol. 37, pp. 398-405, Apr 1988.
10. C. L. Liu, Element11 of Di11crete Mathematic11. McGraw-Hill, 1977, 1985.
11. J. Lundelius-Welch and N. Lynch, "A new fault tolerant algorithm for clock synchronization, " Information and Computation, vol. 77, no. 1, pp. 1-36, 1988.
12. N. Lynch et al., "A simple and efficient Byzantine generals algorithm, " Proc. nd Symp. on Reliability in Dilltributed Software and Databa11e Sy11tem1, pp. 46-52, July 1982.
13. P. Ramanathan, D. Kandlur, and K. Shin, "Hardware-assisted software clock synchronization for homogeneous distributed systems, " IEEE Tran11. on Computer11, vol. C-39, pp. 514-524, April 1990.
14. K. Shin and P. Ramanathan, "Clock synchronization of a large multiprocessor system in the presence of malicious faults, " IEEE Tran. on Computer I, vol. c-36, pp. 2-12, Jan 1987.
15. T. K. Srikanth and S. Toueg, "Optimal clock synchronization, " Journal of ACM, vol. 34, July 1987.
16. P. Thambidurai and Y.-K. Park, "Interactive consistency with multiple failure modes, " Proc. Symp. on Reliable Dilt. System 8, pp. 93-100, Oct 1988.
17. P. Thambidurai, Y.-K. Patk, and K. Trivedi, "On reliability modelling of fault-tolerant distributed systems, " Intl. Conf. on Diltr. Computing, pp. 136-142, June 1989.
18. J. W. Wensley et al., "SIFT: Design and analysis of a fault-tolerant computer for aircraft control, " Proceeding of IEEE, vol. 66, Oct 1978.