Implementing a distributed fault-tolerant embedded system in Ada

摘要

This paper presents the design and implementation experience of MEDS---an experimental distributed fault-tolerant system written in Ada that implements prototypes of some C3Ifunctions. MEDS implements distribution and fault-tolerance services such that application functions and data survive successive processor failures, and new or repaired processors can be added dynamically as additional resources.

rn

The design issues related to distribution/failure semantics, units of distribution, failure detection, reconfiguration, and recovery are discussed in the context of Ada. The design and implementation of these aspects of MEDS is presented and lessons learned from this experience are summarized.