Timing analysis of reactive rule-based programs

Control Engineering Practice

Volumn 6, Issue 3, 1998, Pages 403-408

  Lin, Man ^a   Malec, Jacek ^a,b  

^a LINKÖPING UNIVERSITY   (Sweden)

^b Malardalens Hogsk Box 883 S 721 23 ^*  (Sweden)

Author keywords

embedded systems; layered software; rule based programming; timing analysis

Indexed keywords

TIMING ANALYSIS;

TIMING;

AUTOMOTIVE ENGINEERING; COMPUTER ARCHITECTURE; EMBEDDED SYSTEMS; LOGIC PROGRAMMING;

REAL TIME SYSTEMS;

EID: 0032029950     PISSN: 09670661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0967-0661(98)00018-5     Document Type: Conference Paper

References (15)

1. Apt K.R., Blair H.A., Walker A. Towards a theory of declarative knowledge. Minker J. Foundations of Deductive Database and Logic Programming. 1988;Morgan Kaufmann, Los Altos, CA.
2. Fitting M. A Kripke-Kleene semantics for logic programs. J. Logic Programming. 2:1985;295-312.
3. Gopinath, P., Gupta, R., 1990. Applying compiler techniques to scheduling in real-time systems. In: Proc. of 11th IEEE Real-Time Systems Symp, pp. 247-256.
4. Harel D., Pnueli A. On the development of reactive systems. Apt K.R. Logics and Models of Concurrent Systems. 13:1985;Springer Verlag. of NATO ASI Series.
5. Ishikawa Y., Tokuda H., Mercer C.M. An object-oriented real time programming language. IEEE Computer. 25(10):1992;66-73.
6. Lin K.J. Advances in Real-Time Systems. 1995;Prentice-Hall. Chap. 14.
7. Lin M., Malec J., Nadjm-Tehrani S. On semantics of reactive rule-based systems. Proceedings of Asian Computing Science Conference. 1997;Springer-Verlag.
8. Lin J.W.S., Ha R. Advances in Real-Time Systems. 1995;Prentice-Hall. Chap. 9.
9. Malec, J., Morin, M., Palmqvist, U., 1994. Driver support in intelligent autonomous cruise control. In: Proceedings of the IEEE Intelligent Vehicles Symposium'94. Paris, France, pp. 160-164.
10. Morin M., Nadjm-Tehrani S., Österling P., Sandwall E. Real-time hierarchical control. IEEE software. 9(5):1992;51-57.
11. Morin M. Predictable cyclic computations in autonomous systems. A computational model and implementation. Licenciate thesis 352:1993;Department of Computer and Information Sciences, Linköping University.
12. Shaw A. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering. 15(7):1989;875-889.
13. Stoyenko, A.D., 1987. A schedulability analyzer for real-time Euclid. In: Proc. of 8th IEEE Real-Time Systems Symp., pp. 218-227.
14. Wang, C.K., Mok, A.K., 1993. Timing analysis of MRL: a real time rule-based system. J. Real Time Systems.
15. Wang, R.H., Mok, A.K., 1995. Response-time bounds of EQL rule-based programs under rule priority structure. IEEE Transaction on Software Engineering.