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
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;
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
DOI :
10.1109/CMPASS.1992.235761