Sciweavers

Share
HASE
1997
IEEE

Verifying Fault-Tolerant Behavior of State Machines

12 years 6 days ago
Verifying Fault-Tolerant Behavior of State Machines
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of faulttolerant behavior to be undertaken. This framework is based on the notion of state machines and tolerance relations. Results concerning fault-tolerant behavior of finite-state machines are presented and an illustrative example is discussed. Various kinds of fault-tolerant behavior (masking, fail-stop, t-fail-stop, degradable, etc.) are modeled.
Mario Dal Cin
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where HASE
Authors Mario Dal Cin
Comments (0)
books