156 search results - page 1 / 32 » Validating Requirements for Fault Tolerant Systems using Mod... |
ICRE
1998
IEEE
13 years 9 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...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
ENTCS
2007
13 years 4 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...
CSE
2009
IEEE
13 years 8 months ago
2009
IEEE
Fault tolerance is a constant concern in data centers where servers have to run with a minimal level of failures. Changes on the operating conditions or on server demands, and var...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...