Title :
A prototype tool for flow analysis of object-oriented programs
Author_Institution :
Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden
fDate :
6/24/1905 12:00:00 AM
Abstract :
Object-oriented programming languages are extensively used in real-time systems. When calculating the worst case execution time for object-oriented programs one needs flow information, such as loop bounds and information on infeasible paths. In most cases, the programmer is expected to supply these as manual annotations. This paper presents a prototype tool which calculates this information automatically for RealTimeTalk (RTT) programs. KIT is a real-time version of the object-oriented language Smalltalk. We also show the analysis of a number of example programs
Keywords :
Smalltalk; object-oriented programming; real-time systems; software tools; system monitoring; RealTimeTalk programs; flow analysis; infeasible paths; loop bounds; object-oriented programming languages; object-oriented programs; real-time Smalltalk version; real-time systems; worst case execution time; Computer languages; Design engineering; Distributed computing; Memory management; Object oriented programming; Programming profession; Prototypes; Real time systems;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2002. (ISORC 2002). Proceedings. Fifth IEEE International Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7695-1558-4
DOI :
10.1109/ISORC.2002.1003665
