327 search results - page 57 / 66 » Symbolic Fault Injection |
EDCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...
DSN
2003
IEEE
14 years 27 days ago
2003
IEEE
Software-based active replication is expensive in terms of performance overhead. Multithreading can help improve performance; however, thread scheduling is a source of nondetermin...
EDCC
2010
Springer
14 years 12 days ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
A proper support for communications has to provide fault tolerance capabilities such as the preservation of established connections in case of failures. Multi-homing addresses thi...