A compositional framework for fault tolerance by specification transformation
Theoretical Computer Science - Special issue on dependable parallel computing
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
AutoFocus: A Tool for Distributed Systems Specification
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Detectors and Correctors: A Theory of Fault-Tolerance Components
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Dynamically Detecting Faults via Integrity Constraints
Methods, Models and Tools for Fault Tolerance
Output stability versus time till output
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Hi-index | 0.00 |
Formal methods can improve the development of systems with high quality requirements, since they usually offer a precise, nonambiguous specification language and allow rigorous verification of system properties. Usually, these mainly abstract specifications are idealistic and do not reflect faults, so that faulty behavior - if treated at all - must be specified as part of the normal behavior, increasing the complexity of the system. It is more desirable to distinguish normal and faulty behavior, making it possible to reason about faults and their effects. In this paper the notions of faults, errors, failures, error detection, error messages, error correcting components and fault tolerance are discussed, based on a formal model that represents systems as composition of interacting components that communicate asynchronously. The behavior of the components is described by black-box properties and state transition systems, with faults being modeled by modifications of the properties or transitions.