Research on triple modular redundancy dynamic fault-tolerant system model

First International Multi- Symposiums on Computer and Computational Sciences, IMSCCS'06

Volumn 1, Issue , 2006, Pages 572-575

  Zhang, Zhe ^a,b   Liu, Daxin ^b   Wei, Zhengxian ^a   Sun, Changsong ^b  

^a Systems Engineering Research Institute   (China)

^b HARBIN ENGINEERING UNIVERSITY   (China)

Author keywords

Dynamic fault tolerant; Model; Reliability; Triple modular

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; REDUNDANCY; RELIABILITY THEORY;

COMPUTATIONAL SCIENCES; TRIPLE MODULAR REDUNDANCY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 33845582603     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IMSCCS.2006.119     Document Type: Conference Paper

References (8)

1. L. Guo and Z. Tang, "To specify and verify fault-tolerant systems in XYZ/E," Journal of Software, Vol.13, 2002, pp. 913-920.
2. L. Guo and Z. Tang, "Specification and verification of the triple-modular redundancy fault-tolerant system," Journal of Software, Vol. 14, 2003, pp. 54-61.
3. H., Lui, S. Fei, "A fault-tolerant scheduling algorithm based on EDF for distributed control systems," Journal of Software, Vol. 14, 2003, pp. 1371-1378.
4. D. Shi, P. Hu, H. Wang, P. Zou, "Research and design of the nested dynamic fault-tolerant protocol," Vol. 13, 2002, pp. 235-238.
5. S. Jin, H. Hu, H. Li, "A study of a high-availability dual computer system with fault-tolerant architecture," Engineering Science, Vol. 3, 1999, pp. 6-50.
6. C. Gao, M. Zhou, Y. Jia, P. Zou, "Fault-tolerant mechanism basing on CORBA messaging," Chinese Journal of Computer, Vol. 25, 2002, pp. 1059-1063.
7. W. Han, H. Zang, and K. Xie, "Quad-redundant fault-tolerant computer architecture and reliability analysis, Computer Engineering & Science, Vol. 25, 2003, pp. 98-100.
8. H. Li and Li-Gang, "Analysis and design of system reliability," Science Press, Beijing, 2003.