Early Error Detection for Fault Tolerance StrategiesReport as inadecuate




Early Error Detection for Fault Tolerance Strategies - Download this document for free, or read online. Document in PDF available to download.

1 LTCI - Laboratoire Traitement et Communication de l-Information 2 LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : In this paper we present an integration of early run-time monitors in real-time systems to improve their fault tolerance properties. Early Error Detection is a mechanism that provides a theoretically optimal run-time error detection service, based on a formal specification of an application, e.g., given by a timed automata. We show how our approach can improve classical fault tolerance strategies by investigating two use-cases, namely for a design pattern that provides several degraded modes of operation, and in on-board avionics safety critical systems.





Author: Thomas Robert - Matthieu Roy - Jean-Charles Fabre -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents