DocumentCode
2502603
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
fYear
1997
fDate
1-3 Apr 1997
Firstpage
257
Lastpage
262
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Real-Time Systems, 1997. Proceedings of the Joint Workshop on
Conference_Location
Geneva
Print_ISBN
0-8186-8096-2
Type
conf
DOI
10.1109/WPDRTS.1997.637989
Filename
637989
Link To Document