Early Error Detection for Fault Tolerance Strategies
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.
Origin : Files produced by the author(s)
Loading...