Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation

Authors:
Osmar Marchi dos Santos;Andy Wellings
Affiliations:
University of York;University of York
Venue:
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
Year:
2005

Citing 0
Cited 3

Formal analysis of aperiodic and sporadic real-time threads in the RTSJ

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Cost enforcement in the real-time specification for Java

Real-Time Systems
Providing temporal isolation in the OSGi framework

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Real-Time Specification for Java (RTSJ) provides an integrated approach to scheduling periodic threads and monitoring their CPU execution time. It defines a cost enforcement model whereby a periodic thread is suspended when it consumes more CPU time (budget) than it requested. However, the support for this model is optional and it is generally not given by most implementations. Consequently, this aspect of the specification has not been rigorously evaluated. In this paper we define a formal model of the RTSJ cost monitoring and enforcement approach using the extended timed automata formalism provided in the UPPAAL tool. Using the model, properties are explored and it is shown that whilst implementations that conform to the RTSJ specification are free from potential deadlock, the specification allows an implementation, under certain circumstances, to give a periodic thread more than its CPU budget in one period. These circumstances are detailed and a correction to the RTSJ specificationis suggested to remove this anomaly.