Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

HASE
1997
IEEE

favoriteEmaildiscussreport

97views Control Systems» more HASE 1997»

Verifying Fault-Tolerant Behavior of State Machines

13 years 8 months ago

Verifying Fault-Tolerant Behavior of State Machines

Download www3.informatik.uni-erlangen.de

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

Real-time Traffic

Control Systems | Fault-tolerant Behavior | Faulttolerant Behavior | HASE 1997 | Important Non-functional Requirement |

claim paper

Related Content

» Software Based Fault Tolerance against Byzantine Failures

» BAR fault tolerance for cooperative services

» Fault tolerance with realtime Java

» TCP Server Fault Tolerance Using Connection Migration to a Backup Server

» Verifying Action Semantics Specifications in UML Behavioral Models

» Attested appendonly memory making adversaries stick to their word

» Reconfigurable models of finite state machines and their implementation in FPGAs

» Passive midstream monitoring of realtime properties

» Automatic Verification of Pipelined Microprocessors

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1997
Where	HASE
Authors	Mario Dal Cin

Comments (0)