Specification and verification of the triple-modular redundancy fault-tolerant system

Ruan Jian Xue Bao/Journal of Software

Volumn 14, Issue 1, 2003, Pages 54-61

  Guo, Liang ^a   Tang, Zhi Song ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

Fault tolerant system; Specification; Temporal logic language XYZ E; Triple modular redundancy; Verification

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; REDUNDANCY;

TEMOERAL LOGIC LANGUAGE; TRIPLE MODULAR REDUNDANCY;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0037628197     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Schepers H. Terminology and paradigms for fault tolerance. In: Vytopil J, ed. Formal Techniques in Real-Time and Fault Tolerant Systems. Boston: Kluwer Academic Publishers, 1993. 3-31.
2. Doug GW. Fault tolerance as self-similarity. In: Vytopil J, ed. Formal Techniques in Real-Time and Fault Tolerant Systems. Boston: Kluwer Academic Publishers, 1993. 33-49.
3. Liu ZM, Joseph M. Specification and verification of fault-tolerance, timing and scheduling. ACM Transaction on Programming Languages and Systems, 1998, 21(1): 46-89.
4. Liu ZM, Joseph M. Transformation of programs for fault-tolerance. Formal Aspects of Computing, 1992, 4(5): 442-469.
5. Liu ZM. Fault-Tolerant programming by transformations[Ph.D. Thesis]. Department of Computer Science, University of Warwick, 1991.
6. Lamport L. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 1994, 16(3): 872-923.
7. Abadi M, Lamport L. The existence of refinement mapping. Theoretical Computer Science, 1991, 83(2): 253-284.
8. Tang ZS. An introduction to XYZ system. Technical Report, ISCAS-XYZ-88-1, Beijing: Institute of Software, the Chinese Academy of Sciences, 1988.
9. Tang ZS. Temporal Logical Programming and Software Engineering. Beijing: Science Press, 1999 (in Chinese).