DocumentCode
3299923
Title
Self-stabilizing real-time rule-based systems
Author
Cheng, Albert Mo Kim
Author_Institution
Dept. of Comput. Sci., Houston Univ., TX, USA
fYear
1992
fDate
5-7 Oct 1992
Firstpage
172
Lastpage
179
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Reliable Distributed Systems, 1992. Proceedings., 11th Symposium on
Conference_Location
Houston, TX
Print_ISBN
0-8186-2890-1
Type
conf
DOI
10.1109/RELDIS.1992.235129
Filename
235129
Link To Document