TY - JOUR
T1 - Relational characterizations of system fault tolerance
AU - Cortellessa, V.
AU - Del Gobbo, D.
AU - Shereshevsky, M.
AU - Desharnais, J.
AU - Mili, A.
N1 - Funding Information:
✩This work was funded by the NASA IV&V Laboratory (Independent Verification and Validation) in Fairmont, WV, through a grant in 2000–2001 of the USIP program. ∗Corresponding address: Department of Computer Science, University of Aquila, via Vetoio, 67010 L’Aquila, Italy. Tel.: +39 0862 433165; fax: +39 0862 433057. E-mail addresses: [email protected] (V. Cortellessa), [email protected] (D. Del Gobbo), [email protected] (M. Shereshevsky), [email protected] (J. Desharnais), [email protected] (A. Mili).
PY - 2005/5
Y1 - 2005/5
N2 - Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex and/or critical systems are best validated by a wide range of methods, including proving, testing, and fault tolerance; we have also argued that in order to use these methods in concert, we need to cast them in a common framework. In this paper, we present mathematical characterizations of fault tolerance properties, using a relational calculus.
AB - Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex and/or critical systems are best validated by a wide range of methods, including proving, testing, and fault tolerance; we have also argued that in order to use these methods in concert, we need to cast them in a common framework. In this paper, we present mathematical characterizations of fault tolerance properties, using a relational calculus.
KW - Error
KW - Failure
KW - Fault
KW - Programming calculi
KW - Relational mathematics
KW - System fault tolerance
UR - http://www.scopus.com/inward/record.url?scp=17644374129&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=17644374129&partnerID=8YFLogxK
U2 - 10.1016/j.scico.2004.07.003
DO - 10.1016/j.scico.2004.07.003
M3 - Article
AN - SCOPUS:17644374129
SN - 0167-6423
VL - 56
SP - 343
EP - 361
JO - Science of Computer Programming
JF - Science of Computer Programming
IS - 3
ER -