Issue No.01 - February (1995 vol.7)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.368520
<p><it>Abstract</it>—Real-time rule-based expert systems are embedded decision systems that must respond to changes in the environments within stringent timing constraints. Given a program <it>p</it>, the <it>response time analysis problem</it> is to determine the response time of <it>p</it>. This problem consists of 1) determining whether or not the execution of <it>p</it> always terminates in bounded time, and 2) computing the maximal execution time of <it>p</it>.</p><p>The <it>EQuational Logic</it> (EQL) language is a simple language designed for real-time applications. It has been proved by Mok that the response time analysis problem is undecidable if the program variables have infinite domains, and is PSPACE-hard in the case where all of the variables have finite domains. However, we have observed that the use of a simple syntactic and semantic check on programs coupled with other techniques such as state space graph checks can dramatically reduce the time needed in the analysis. There are sets of syntactic and semantic constraint assertions such that if the set <it>S</it> of rules satisfies any of them, then the execution of <it>S</it> always terminates in bounded time. Each of these sets of syntactic and semantic constraint assertions is called a Special Form.</p><p>The focus of this paper is on proving the existence of two Special Forms and determining tight response time upper bounds of EQL rule-based programs. For each known Special Form, an algorithm used to calculate the maximal response time of programs satisfying this Special Form is presented. Additionally, to enhance the applicability of the proposed algorithms, we show how the General Analysis Algorithm can be used with these algorithms.</p>
Computer aided software engineering, real-time decision systems, response time, rule-based programs, special forms, verification.
Jeng-Rung Chen, "Response Time Analysis of EQL Real-Time Rule-Based Systems", IEEE Transactions on Knowledge & Data Engineering, vol.7, no. 1, pp. 26-43, February 1995, doi:10.1109/69.368520