A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches
[chapter]
2000
Lecture Notes in Computer Science
The topic of the present work is the specification of system Fault Tolerance (FT). FT is considered a valid technique for increasing the dependability of critical automation systems by adding them the ability to operate in presence of faults. Two basic considerations stimulated the development of the present work. Firstly although a considerable amount of concepts and theory have been published around FT, a full-organized method supporting their application to the FT needs of a specific system
doi:10.1007/3-540-46428-x_7
fatcat:5uwez6ntr5bcvivi3joluwnngq