|
Abstract:
This project aims to investigate, in the first
place, the steps needed for the definition of a new model suitable for
mission-critical applications. The crucial aspect is timing fault-tolerance in
the context of real-time systems. We intend to formalize assumptions about
system timeliness, and then develop what we call a Timing Failure Detector, in
order to perfectly detect all violations of timeliness. There are several ways
to treat the problem afterwards, but we plan to study the use of replication
to mask timing faults. Previously known failure detectors were of the crash
type only, our detectors are more accurate. Besides, replication has not been
used previously in the context of timing faults, and as such, this approach is
innovative. Our research will therefore concentrate on the definition of a set
of basic services (a Timing Failure Detection Service -TFDS, and a Replica
Management Service - RMS) which aim at providing the functionality just
described, by means of a suitable programming interface, with provisions for
timeliness specifications. |
