133 search results - page 11 / 27 » A language-driven tool for fault injection in distributed sy... |
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
DSN
2002
IEEE
15 years 2 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
67
Voted
ETFA
2006
IEEE
15 years 3 months ago
2006
IEEE
In the context of distributed real-time systems as deployed in the avionic and the automotive domain a substantial number of system malfunctions result from connector faults. For ...
SSS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. For large distributed systems built from inexpensive components, one expects to see incessant failures. This paper proposes two models for such faults and analyzes two we...