Title :
Self-stabilizing real-time rule-based systems
Author :
Cheng, Albert Mo Kim
Author_Institution :
Dept. of Comput. Sci., Houston Univ., TX, USA
Abstract :
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
Keywords :
distributed processing; fault tolerant computing; knowledge based systems; real-time systems; system recovery; automated recovery; bounded response time; distributed real-time rule-based systems; self-stabilizing program; transient faults; Algorithm design and analysis; Delay; Embedded computing; Embedded system; Knowledge based systems; Real time systems; Safety; Space vehicles; State-space methods; Timing;
Conference_Titel :
Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on
Conference_Location :
Houston, TX
Print_ISBN :
0-8186-2890-1
DOI :
10.1109/RELDIS.1992.235129
