This Article 
 Bibliographic References 
 Add to: 
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella
September 1993 (vol. 19 no. 9)
pp. 863-885

Rule-based expert systems are increasingly used to monitor and control the operations of complex real-time systems which require intensive knowledge-decision processing and human expertise. These embedded AI systems must respond to events in the rapidly changing external environment so that the results of the expert system's computation in each monitor-respond cycle are valid in safely operating the real-time system. Determining how fast an expert system can respond under all possible situations is a difficult problem. We have developed an efficient analysis methodology for a large class of rule-based EQL programs to determine whether a program in this class has bounded response time. In particular, we have identified several sets of primitive behavioral constraint assertions: an EQL program which satisfies all constraints in one of these sets of assertions is guaranteed to have bounded response time. Here, we enhance the applicability of our analysis technique by introducing a facility with which the rule-based programmer can specify application-specific knowledge that is too difficult to be mechanically detected in the new language Estella in order to determine the performance of an even wider range of programs. We also describe efficient algorithms for implementing the analysis tools.

[1] A. V. Aho, J. E. Hopcroft, and J. D. Ullman,The Design and Analysis of Computer Algorithms. Menlo Park, CA: Addison-Wesley, 1974.
[2] M. Benda, "Real-time applications of AI in the aerospace industry," presented at the Fall School on Artificial Intelligence, Research Institute of Ecole Normal Superieure, France, Sept. 4, 1987.
[3] J. C. Browne, A. M. K. Cheng, and A. K. Mok, "Computer-aided design of real-time rule-based decision systems," Tech. Rep., Dept. Comput. Sci., Univ. of Texas at Austin, Apr. 1988; also to be published inIEEE Trans. Software Eng..
[4] K. M. Chandy and J. Misra,A Foundation of Parallel Program Design, Reading, MA: Addison-Wesley.
[5] A. M. K. Cheng, "Parallel execution of real-time rule-based systems," inProc. 7th IEEE Int. Parallel Processing Symp., Newport Beach, CA, Apr. 1993.
[6] A. M. K. Cheng and C.-H. Chen, "Efficient response time bound analysis of real-time rule-based systems," inProc. 7th Annual IEEE Conf. Computer Assurance (COMPASS '92), Gaithersburg, MD, June 1992.
[7] A. M. K. Cheng and C.-K. Wang, "Fast static analysis of real-time rule-based systems to verify their fixed point convergence," inProc. 5th Annu. IEEE Conf. Computer Assurance (COMPASS 90), June 1990.
[8] E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic,"ACM Trans. Program. Lang. Syst., vol. 8, no. 2, pp. 244-263, Apr. 1986.
[9] E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan, "Quantitative temporal reasoning,"Proc. 2nd Int. Conf. Computer-Aided Verification, New Brunswick, NJ, June 1990.
[10] C. L. Forgy, "OPS5 User's Manual," Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, Tech. Rep. CMU-CS-81-135, July 1981.
[11] M. R. Garey and D. S. Johnson,Computers and Intractability: A Guide to Theory of NP-Completeness. San Francisco, CA: Freeman, 1979.
[12] A. Gupta,Parallelism in Production Systems, Morgan Kaufmann, Palo Alto, Calif., 1987.
[13] P. Haddawy, "Implementation of and experiments with a variable precision logic Inference system," inProc. AAAI Conf., 1986, pp. 238-242.
[14] P. Haddawy, "A variable precision logic inference system employing the Dempster-Shafer uncertainty calculus," M.S. thesis, Dept. of Comput. Sci., Univ. of Illinois, Urbana, 1987.
[15] J. J. Helly, "Distributed expert system for space shuttle flight control," Ph.D. dissertation, Dept. of Comput. Sci., Univ. Calif., Los Angeles, 1984.
[16] T. Ishida, "Parallel rule firing in production systems,"IEEE Trans. Knowledge and Data Eng., vol. 3, no. 1, pp. 11-17, Mar. 1991.
[17] D. Koch, K. Morris, C. Giffin, and T. Reid, "Avionic sensor-based sating system technology," presented at the Tri-Service Software System Safety Working Group in association with IEEE COMPASS Conf., 1986.
[18] T. Laffey et al., "Real-Time Knowledge-Based Systems,"AI Magazine, Spring 1989, pp. 27-45.
[19] C. A. Marsh, "The ISA expert system: A prototype system for failure diagnosis on the space station," MITRE Corp., Houston, TX, MITRE Rep., 1988.
[20] R. Michalski and P. Winston, "Variable Precision Logic,"Artificial Intelligence, Vol. 29, No. 2, 1986, pp. 121-146.
[21] A. K. Mok, "The design of real-time programming systems based on process models," inProc. 5th Real-Time Systems Symp. (RTSS), Dec. 1984.
[22] C. A. O'Reilly and A. S. Cromarty, "Fast" is not "real-time": Designing effective real-time AI systems," J. F. Gilmore, Ed., inApplications of Artificial Intelligence, Proc. SPIE, 485.
[23] A. O. Oshisanwo and P. P. Dasiewicz, "A parallel model and architecture for production systems," inProc. Int. Conf. Parallel Processing, 1987, pp. 147-153.
[24] D. W. Payton and T. E. Bihari, "Intelligent real-time control of robotic vehicles,"Commun. Ass. Comput. Mach., vol. 34, no. 8, Aug. 1991.
[25] J. G. Schmolze, "Guaranteeing serializable results in synchronous parallel production systems,"J. Parallel and Distributed Computing, vol. 13, 1991, pp. 348-365.
[26] R. E. Tarjan, "Depth first search and linear graph algorithms,"SIAM J. Computing, vol. 1, pp. 146-160, 1972.
[27] "Position statements of panel on software engineering for knowledge-based systems,"Proc. 3rd Int. Conf. Tools for Artificial Intelligence, San Jose, CA, Nov. 1991.
[28] M. Jarkeet al., "DAIDA: An environment for evolving information systems,"ACM Trans. Information Systems, vol. 10, Jan. 1992.

Index Terms:
real-time rule-based systems; behavioral constraint assertions; Estella; rule-based expert systems; knowledge-decision processing; human expertise; monitor-respond cycle; bounded response time; rule-based programmer; application-specific knowledge; constraint handling; expert systems; formal specification; knowledge representation; real-time systems
A.M.K. Cheng, J.C. Browne, A.K. Mok, Rwo-Hsi Wang, "Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella," IEEE Transactions on Software Engineering, vol. 19, no. 9, pp. 863-885, Sept. 1993, doi:10.1109/32.241770
Usage of this product signifies your acceptance of the Terms of Use.