Paper Info
Title
Verifying Fault-Tolerant Behavior of State Machines
Abstract
Fault-tolerant behavior is an important non-functional requirement for systems that involve high criticality. We present a framework which allows the analysis of fault- tolerant 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.
Year
DOI
Venue
1997
10.1109/HASE.1997.648044
HASE
Keywords
Field
DocType
verifying fault-tolerant behavior,state machines,non functional requirement,fault tolerant,hazards,masking,software fault tolerance,finite state machines,degradation,finite state machine,calculus,fault tolerance,automata,state machine
Computer science,Automaton,Software fault tolerance,Finite-state machine,Real-time computing,Fault tolerance,Criticality,Non-functional requirement,Reliability engineering,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-8186-7971-9
6
1.11
References 
Authors
5
1
Name
Order
Citations
PageRank
Mario Dal Cin128240.09