Designing fault tolerant application in Maruti
Deron Liang, Ashok K. Agrawala, Daniel Mossé, Yiheng Shi · 2003
A model is given for developing application with fault-tolerance requirements and real-time constraints. Applications in this model are specified using computation graphs, in which vertices represent tasks and arcs represent precedence constraints. Tasks are replicated to provide required fault tolerance and ensure that a real-time application will meet its deadlines despite failures. The authors develop an analytical model to calculate the probability of successful execution of applications with task replications. They propose an efficient algorithm for the analysis of applications that are composed of subgraphs, each of which has a single source and a single sink. The results of the analysis can be used with information from allocation/scheduling to develop applications with desired timing and fault-tolerance requirements.>