Self-stabilizing real-time rule-based systems

The problem of automated recovery in distributed real-time rule-based systems where internal variables may be corrupted during computation as a result of transient faults is discussed. Given a distributed rule-based program p with bounded response time, the problem is to derive a self-stabilizing program q that implements p with the constraint that q must also have bounded response time. An approach for solving this problem for a class of rule-based programs with bounded response time is presented.<
>