TY - JOUR
T1 - Designing fault tolerant applications in Maruti
AU - Liang, Deron
AU - Agrawala, Ashok
AU - Mosse, Danniel
AU - Shi, Yiheng
N1 - Publisher Copyright:
© 1992 IEEE.
PY - 1992
Y1 - 1992
N2 - In this paper, we introduce a model for developing applications 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. We develop an analytical model to calculate the probability of successful execution of applications with task replications. We 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.
AB - In this paper, we introduce a model for developing applications 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. We develop an analytical model to calculate the probability of successful execution of applications with task replications. We 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.
UR - http://www.scopus.com/inward/record.url?scp=84983669233&partnerID=8YFLogxK
U2 - 10.1109/ISSRE.1992.285867
DO - 10.1109/ISSRE.1992.285867
M3 - 會議論文
AN - SCOPUS:84983669233
SN - 1071-9458
SP - 264
EP - 273
JO - Proceedings - International Symposium on Software Reliability Engineering, ISSRE
JF - Proceedings - International Symposium on Software Reliability Engineering, ISSRE
M1 - 285867
T2 - 3rd International Symposium on Software Reliability Engineering, ISSRE 1992
Y2 - 7 October 1992 through 10 October 1992
ER -