Issue No. 02 - February (2004 vol. 16)
Albert Mo Kim Cheng , IEEE
<p><b>Abstract</b>—This paper examines the problem of predicting the timing behavior of knowledge-based systems for real-time applications. In particular, we describe a suite of tools which analyze OPS5 programs to understand their timing properties. First, a graphical representation of an OPS5 program is defined and evaluated. This graph represents the logical control flows of an OPS5 program. Most of our analysis is based on this data structure. Second, we describe a novel tool which verifies that an OPS5 program can terminate in finite time. If the termination of the OPS5 program is not expected, the “culprit” conditions are detected. These conditions are then used to correct the problem by adding extra rules to the original program. Third, another tool is introduced to aid timing analysis of OPS5 programs. This tool generates a set of test data which maximize the program execution time. Other functions are also provided to facilitate the timing analysis.</p>
Timing analysis, response time, OPS5, KBS, expert systems, rule-based systems, production systems, real-time systems.
Albert Mo Kim Cheng, Hsiu-yen Tsai, "A Graph-Based Approach for Timing Analysis and Refinement of OPS5 Knowledge-Based Systems", IEEE Transactions on Knowledge & Data Engineering, vol. 16, no. , pp. 271-288, February 2004, doi:10.1109/TKDE.2004.1269603