DocumentCode
3046546
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
fYear
1993
fDate
22-24 June 1993
Firstpage
392
Lastpage
401
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fault-Tolerant Computing, 1993. FTCS-23. Digest of Papers., The Twenty-Third International Symposium on
Conference_Location
Toulouse, France
ISSN
0731-3071
Print_ISBN
0-8186-3680-7
Type
conf
DOI
10.1109/FTCS.1993.627342
Filename
627342
Link To Document