384 search results - page 2 / 77 » Formal Development of Reactive Fault Tolerant Systems |
EDCC
2008
Springer
13 years 6 months ago
2008
Springer
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
ISORC
2007
IEEE
13 years 11 months ago
2007
IEEE
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
FTRTFT
1994
Springer
13 years 8 months ago
1994
Springer
MASCOTS
2004
13 years 6 months ago
2004
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...