
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
JengRung Chen, Albert Mo Kim Cheng, "Response Time Analysis of EQL RealTime RuleBased Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 2643, February, 1995.  
BibTex  x  
@article{ 10.1109/69.368520, author = {JengRung Chen and Albert Mo Kim Cheng}, title = {Response Time Analysis of EQL RealTime RuleBased Systems}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {7}, number = {1}, issn = {10414347}, year = {1995}, pages = {2643}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.368520}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Response Time Analysis of EQL RealTime RuleBased Systems IS  1 SN  10414347 SP26 EP43 EPD  2643 A1  JengRung Chen, A1  Albert Mo Kim Cheng, PY  1995 KW  Computer aided software engineering KW  realtime decision systems KW  response time KW  rulebased programs KW  special forms KW  verification. VL  7 JA  IEEE Transactions on Knowledge and Data Engineering ER   
The
The focus of this paper is on proving the existence of two Special Forms and determining tight response time upper bounds of EQL rulebased 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.
[1] S. Abiteboul and E. Simon, "Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog," Theoretical Computer Science, vol. 78, pp. 137158, 1991.
[2] A.V. Aho,J.E. Hopcroft, and J.D. Ullman,The Design and Analysis of Computer Algorithms.Reading, Mass.: AddisonWesley, 1974.
[3] A. Aiken, J. Widom, and J.M. Hellerstein, “Behavior of Database Production Rules: Termination, Confluence, and Observable Determination,” Proc. ACM SIGMOD Int'l Conf. Management of Data, M. Stonebraker, ed., pp. 5968, May 1992.
[4] M. Benda,“Realtime applications of AI in the aerospace industry,” Presentation at the Fall School on Artificial Intelligence, The ResearchInst. ofÈcole Normal Superieure, France, Sept.4, 1987.
[5] D.A. Brant, T. Grose, B. Lofaso, and D.P. Miranker, “Effects of Database Size on Rule System Performance: Five Case Studies,” Proc. 17th Int'l Conf. Very Large Databases, 1991.
[6] J.C. Browne,A.M.K. Cheng, and A.K. Mok,“Computeraided design of realtime rulebased decision systems,” Technical Report, Dept. of Computer Science, Univ. of Texas at Austin, April 1988. Also to appear in IEEE Trans. on Software Engineering.
[7] S. Ceri and J. Widom,"Deriving production rules for incremental view maintenance," Proc. 17th VLDB, pp. 735749,Barcelona, 1991.
[8] J.R. Chen and A.M.K. Cheng,“A classification scheme to facilitate thedetermination of the property of execution termination of equationalrulebased programs,” Internal report submitted to 1994 Symp. on Foundations of Computer Science.
[9] A.M.K. Cheng,J.C. Browne,A.K. Mok,, and R.H. Wang,“Estella: A language for specifying behavioral constraint assertions in realtime rulebasedsystems,” 6th Ann. IEEE Conf. on Computer Assurance, Nat’l Inst. Standards and Tech nology, Gaithersburg, Md., June 1991.
[10] A.M.K. Cheng, J.C. Browne, A.K. Mok, and R.H. Wang, "Analysis of RealTime RuleBased System with Behavioral Constraint Assertions Specified in Estella," IEEE Trans. Software Eng., vol. 19, no. 9, pp. 863885, Sept. 1993.
[11] A.M.K. Cheng and C.H. Chen,“Efficient response time bound analysis of realtime rulebased systems,” Proc. IEEE COMPASS’92, June 1992.
[12] A.M.K Cheng and C.K Wang,“Fast static analysis of realtime rulebased systems to verify their fixed point convergence,” Proc. of the Fifth Ann. Conf. on Computer Assurance, pp. 4656, 1990.
[13] E.M. Clarke, E.A. Emerson, and A.P. Sistla, "Automatic verification of finitestate concurrent systems using temporal logic specifications," ACM Trans. Programming Languages and Systems, vol. 8, no. 2, pp. 244263, 1986.
[14] C.L. Forgy,OPS5 User’s Manual, Technical Report CMU81135, Dept. Computer Science, CarnegieMellon University,1981.
[15] M.R. Garey and D.S. Johnson, Computers and Intractability: A Guide to the Theory of NPCompleteness.New York: W.H. Freeman, 1979.
[16] J.J. Helly, “Distributed expert system for space shuttle flight control,” Ph.D. Dissertation, Dept. Computer Science, UCLA, 1984.
[17] T. Ishida,“Parallel rule firing in production systems,” IEEE Trans. on Knowledge and Data Engineering, vol. 3, No. 1, pp 1117, March 1991.
[18] T. Ishida and S.J. Stolfo,’Towards the parallel execution of rules in production systemprograms,” Proc. of the 1985 Int’l Conf. on Parallel Processing, pp 568575, 1985.
[19] D. Koch,K. Morris,C. Giffin,, and T. Reid,“Avionic sensorbased safing system technology,” Presentation at the TriService Software System SafetyWorking Group in association with IEEE COMPASS Conf., 1986.
[20] C.M. Kuo,D.P. Miranker,, and J.C. Browne,“On the performance of the CREL system,” J. of Parallel and Distributed Computing, vol. 13, No. 4, pp. 424441, Dec. 1991.
[21] S. Kuo and D. Moldovan,“Implementation of multiple rule firing production systems on hypercube,” J. of Parallel and Distributed Computing, vol. 13, No. 4, pp. 383394, Dec. 1991.
[22] T.J. Laffey,P.A. Cox,J.L. Schmidt,S.M. Kao, and J.Y. Read,"Realtime knowledgebased systems," AI Magazine, pp. 2745, Spring 1988.
[23] J.S. Lark,L.D. Erman,S. Forrest,K.P. Gostelow,F. HayesRoth,, and D.M. Smith,“Concepts, methods, and languages for building timely intelligent systems,” J. RealTime Systems, vol. 2, pp. 127148, May 1990.
[24] C.A. Marsh,“The ISA expert system: a prototype system for failure diagnosis on the space station,” MITRE Report, The MITRE Corporation, Houston, Tex., 1988.
[25] A.K. Mok, "Formal Analysis of RealTime Equational RuleBased Systems," Proc. RTSS, 10th RealTime Systems Symp., Dec. 1989.
[26] C.A. O’Reilly and A.S. Cromarty,“’Fast’is not’realtime’: designing effective realtime AI systems,” Applications of Artificial Intelligence, John F. Gilmore, ed., Proc. of SPIE, 1985.
[27] D.W. Payton and T.E. Bihari,“Intelligent realtime control of robotic vehicles,” Comm. of the ACM, vol. 34, No. 8, pp. 4863, Aug. 1991.
[28] J.G. Schmolze,“Guaranteeing serializable results in synchronous parallelproduction systems,” J. of Parallel and Distributed Computing, vol. 13, No. 4, pp. 348365, Dec. 1991.
[29] S.J. Stolfo,O. Wolfson,P.K. Chan,H.M. Dewan,L. Woodbury,J.S. Glazier,, and D.A. Ohsie,“PARULEL: Parallel rule processing using metarules forredaction,” J. of Parallel and Distributed Computing, vol. 13, No. 4, pp.366382, Dec. 1991.
[30] C.K. Wang and A.K. Mok, "Timing Analysis of MRL: A RealTime RuleBased System," J. RealTime Systems, vol. 5, no. 1, pp. 89128, Mar. 1993.
[31] M. Jarke, J. Mylopoulos, J.W. Schmidt, and Y. Vassiliou, "DAIDA: An Environment for Evolving Information Systems," ACM Trans. Information Systems, pp. 150, vol. 10, Jan. 1992.
[32] B. Zupan and A.M.K. Cheng,“Optimization of rulebased systems via state transition system construction,” Proc. of 1994 IEEE Conf. on Artificial Intelligence for Applications, pp. 320  326, March 1994.