Title :
Specifying fault tolerance within Stark´s formalism
Author :
Cau, Antonio ; De Roever, Willem-Paul
Author_Institution :
Inst. fur Inf. unde Praktische Math., Christian-Albrechts-Univ., Kiel, Germany
Abstract :
A general refinement methodology is presented based on ideas of E. Stark, and it is explained how these can be used for the systematic development of fault-tolerant systems. Highlights are: (1) a comprehensive exposition of Stark´s temporal logic and development methodology; (2) a formalization of a general systematic approach to the development of fault-tolerant systems, accomplishing increasing degrees of coverage with each successive refinement stage; and (3) a detailed example of a multi-disk system providing stable storage, illustrating this general methodology.
Keywords :
fault tolerant computing; comprehensive exposition; fault tolerance specification; fault-tolerant systems; general refinement methodology; general systematic approach; multi-disk system; stable storage; temporal logic; Fault detection; Fault tolerance; Fault tolerant systems; Formal specifications; Logic; Programming; Safety; Writing;
Conference_Titel :
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on
Conference_Location :
Toulouse, France
Print_ISBN :
0-8186-3680-7
DOI :
10.1109/FTCS.1993.627342
