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. RTT is a real-time version of the object-oriented language Smalltalk. We also show the analysis of a number of example programs.