19 search results - page 1 / 4 » Verifying Fault-Tolerant Behavior of State Machines |
HASE
1997
IEEE
13 years 8 months ago
1997
IEEE
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 beh...
CLEIEJ
2006
13 years 4 months ago
2006
The proposed software technique is a very low cost and an effective solution towards designing Byzantine fault tolerant computing application systems that are not so safety critic...
SOSP
2005
ACM
14 years 1 months ago
2005
ACM
This paper describes a general approach to constructing cooperative services that span multiple administrative domains. In such environments, protocols must tolerate both Byzantin...
IPPS
2006
IEEE
13 years 10 months ago
2006
IEEE
After having drawn up a state of the art on the theoretical feasibility of a system of periodic tasks scheduled by a preemptive algorithm at fixed priorities, we show in this art...
DSN
2003
IEEE
13 years 9 months ago
2003
IEEE
This paper describes the design, implementation, and performance evaluation of ST-TCP (Server fault-Tolerant TCP), which is an extension of TCP to tolerate TCP server failures. Th...