DocumentCode :
3309462
Title :
Efficient response time bound analysis of real-time rule-based systems
Author :
Cheng, Albert Mo Kim ; Chen, Chun-Hung
Author_Institution :
Dept. of Comput. Sci., Houston Univ., TX, USA
fYear :
1992
fDate :
15-18 Jun 1992
Firstpage :
63
Lastpage :
76
Abstract :
It is required not only to verify the logical correctness of a real-time expert system but also to determine whether the computation time required to compute a logically correct decision in each monitor-decide cycle is within the imposed timing constraint. A principal concept in the analysis methodology is that of a special form of rules. A set of rules satisfying all behavioral constraint assertions of a special form is guaranteed to have bounded response time. The authors present efficient algorithms for computing tight response time bounds for rule sets with bounded response time. These algorithms use techniques which do not involve checking the state-space graph corresponding to the rule sets
Keywords :
expert systems; performance evaluation; real-time systems; bounded response time; computation time; logical correctness; real-time expert system; real-time rule-based systems; response time bound analysis; state-space graph; timing constraint; Artificial intelligence; Control systems; Delay; Expert systems; Knowledge based systems; Monitoring; Real time systems; Safety; Strain control; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Assurance, 1992. COMPASS '92. 'Systems Integrity, Software Safety and Process Security: Building the System Right.', Proceedings of the Seventh Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-0579-5
Type :
conf
DOI :
10.1109/CMPASS.1992.235761
Filename :
235761
Link To Document :
بازگشت