165 search results - page 1 / 33 » Fault Detectability Analysis for Requirements Validation of ... |
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
ENTCS
2007
13 years 9 months ago
2007
Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testi...
SAC
2011
ACM
13 years 18 days ago
2011
ACM
The use of real-time systems can differ from their initial design and requirements. New missions may take place in a more agressive environment and cause faults that are not manag...
ICRE
1998
IEEE
14 years 2 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
DSN
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper describes the OFTT (OLE Fault Tolerance Technology), a fault tolerance middleware toolkit running on the Microsoft Windows NT operating system that provides required fa...