Structural Analysis of Explicit FaultTolerant Programs.pdfVIP

Structural Analysis of Explicit Fault-Tolerant Programs S. Gossens, M. Dal Cin Informatik 3 Universität Erlangen-Nürnberg Germany {gossens,dalcin}@informatik.uni-erlangen.de We distinguish explicit fault tolerance from Abstract: transparent fault tolerance. In explicit fault Explicit fault tolerant programs are tolerance, the application software actively characterized by proactive efforts to ensure provides for fault tolerance, while in robustness and ability of fault correction. A transparent fault tolerance, the infrastructure fault tolerant application is usually realized (e.g. middleware or operating system) realizes conforming to one of a collection of standard fault tolerance measures without cooperation techniques. Graph based methods can be used with the application [6, 10, 15]. While in to examine existing applications to derive a transparent fault tolerance, the fault tolerant control flow abstraction with respect to the components remain transparent to the fault-tolerance architecture. This abstraction, application programmer, they are implemented which we call the fault tolerance behavioural in explicit fault tolerant programs’ structures type, can be used as basis of structural and thus potential subject to fine tuning and analysis of the implemented architecture. This analysis. paper outlines the basic ideas and demonstrates their application using CTL In this paper, we outline a methodology f