Abstract | ||
---|---|---|
Explicit fault tolerant programs are characterized by proactive efforts to ensure robustness and ability of fault correction. A fault tolerant application is usually realized conforming to one of a collection of standard techniques. Graph based methods can be used to examine existing applications to derive a control flow abstraction with respect to the fault-tolerance architecture. This abstraction, which we call the fault tolerance behavioural type, can be used as basis of structural analysis of the implemented architecture. This paper outlines the basic ideas and demonstrates their application using CTL (Computation Tree Logic) model checking to verify fault tolerance properties of explicit fault-tolerant programs. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/HASE.2004.1281733 | HASE |
Keywords | Field | DocType |
explicit fault-tolerant program,basic idea,control flow abstraction,computation tree logic,fault-tolerance architecture,fault tolerance behavioural type,fault correction,structural analysis,fault tolerant application,explicit fault tolerant program,fault tolerance property,fault tolerance,structure analysis,testing,computer architecture,application software,ctl,software systems,verification,computational modeling,program analysis,control flow,robustness,software fault tolerance,fault tolerant,systems analysis,redundancy,model checking,data flow analysis,software architecture,logic | Computation tree logic,Model checking,Computer science,Software fault tolerance,Data-flow analysis,Real-time computing,Robustness (computer science),Fault tolerance,Software architecture,Application software | Conference |
Volume | Issue | ISBN |
23 | 2 | 0-7695-2094-4 |
Citations | PageRank | References |
2 | 0.52 | 9 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stefan Gossens | 1 | 21 | 3.67 |
Mario Dal Cin | 2 | 282 | 40.09 |