A prototype tool for flow analysis of object-oriented programs

Author

Gustafsson, Jan

Author_Institution

Dept. of Comput. Eng., Malardalen Univ., Vasteras, Sweden

fYear

2002

fDate

6/24/1905 12:00:00 AM

Firstpage

91

Lastpage

100

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISORC.2002.1003665

Filename

1003665