Redundancy management in the SCEPTRE2 real-time executive

SCEPTRE2 is a normative report on the basic mechanisms of the real-time executive kernels. No fault tolerance technique exists in its current version. So, in order to develop fault tolerance real time applications, redundancy management services must be provided. This paper presents some of the services me have specified for fault tolerance in SCEPTRE2. The SCEPTRE2 approach to fault tolerance is based upon the replication of capsules on distinct sites. The adopted replication strategy is the semi-active redundancy. A solution to the replica coordination problem is presented here