169 search results - page 1 / 34 » Implementing fault-tolerance in real-time programs by automa... |
176
click to vote
RTAS
2008
IEEE
16 years 21 days ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
175
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
171
click to vote
DFT
1999
IEEE
15 years 10 months ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
157
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we focus on automated techniques to enhance the fault-tolerance of a nonmasking fault-tolerant program to masking. A masking program continually satisfies its spec...
167
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...