Relational characterizations of system fault tolerance

V. Cortellessa; D. Del Gobbo; M. Shereshevsky; J. Desharnais; A. Mili

doi:10.1016/j.scico.2004.07.003

Relational characterizations of system fault tolerance

V. Cortellessa
, D. Del Gobbo
, M. Shereshevsky
, J. Desharnais
, A. Mili

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English (US)
Pages (from-to)	343-361
Number of pages	19
Journal	Science of Computer Programming
Volume	56
Issue number	3
DOIs	https://doi.org/10.1016/j.scico.2004.07.003
State	Published - May 2005

All Science Journal Classification (ASJC) codes

Software
Information Systems
Computational Theory and Mathematics
Modeling and Simulation

Keywords

Error
Failure
Fault
Programming calculi
Relational mathematics
System fault tolerance

Access to Document

10.1016/j.scico.2004.07.003

Cite this

@article{2a080d33c8f6450bb1d453a99f06f00e,

title = "Relational characterizations of system fault tolerance",

abstract = "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.",

keywords = "Error, Failure, Fault, Programming calculi, Relational mathematics, System fault tolerance",

author = "V. Cortellessa and \{Del Gobbo\}, D. and M. Shereshevsky and J. Desharnais and A. Mili",

note = "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{\textquoteright}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).",

year = "2005",

month = may,

doi = "10.1016/j.scico.2004.07.003",

language = "English (US)",

volume = "56",

pages = "343--361",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "3",

}

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 - https://www.scopus.com/pages/publications/17644374129

UR - https://www.scopus.com/pages/publications/17644374129#tab=citedBy

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 -

Relational characterizations of system fault tolerance

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this