Automatic Derivation of Path and Loop Annotations in Object-Oriented Real-Time Programs

Authors:
Jan Gustafsson;Andreas Ermedahl
Affiliations:
-;-
Venue:
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Year:
1997

Citing 0
Cited 1

The design of SafeJML, a specification language for SCJ with support for WCET specification

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper will present 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 to get a tight calculation of the worst case execution time (WCET), must be given manually by the programmer. The method is illustrated by showing the analysis of an example in Smalltalk.