Title :
Automatic derivation of path and loop annotations in object-oriented real-time programs
Author :
Gustafsson, Jan ; Ermedahl, Andreas
Author_Institution :
Dept. of Comput. Eng., Malardalens Univ., Vasteras, Sweden
Abstract :
This paper presents a new method, based on the notion of abstract interpretation, that can be used to derive path and loop annotations automatically for object-oriented real-time programs. Normally these annotations, necessary for the correct calculation of the worst case execution time (WCET), must be given manually by the programmer. The method is illustrated by the analysis of an example in Smalltalk
Keywords :
computational complexity; data flow analysis; object-oriented programming; real-time systems; system monitoring; Smalltalk; abstract interpretation; automatic loop annotation derivation; automatic path annotation derivation; data flow analysis; execution time analysis; object-oriented programming; object-oriented real-time programs; worst case execution time; Computer industry; Optical wavelength conversion; Real time systems; Time of arrival estimation;
Conference_Titel :
Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on
Conference_Location :
Geneva
Print_ISBN :
0-8186-8096-2
DOI :
10.1109/WPDRTS.1997.637989
