Relational characterizations of system fault tolerance

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

Research output: Contribution to journalArticlepeer-review


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 languageEnglish (US)
Pages (from-to)343-361
Number of pages19
JournalScience of Computer Programming
Issue number3
StatePublished - May 2005

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computational Theory and Mathematics
  • Modeling and Simulation


  • Error
  • Failure
  • Fault
  • Programming calculi
  • Relational mathematics
  • System fault tolerance


Dive into the research topics of 'Relational characterizations of system fault tolerance'. Together they form a unique fingerprint.

Cite this