White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Cost Monitoring and Enforcement in the Real-Time Specification for Java- a formal evaluation

dos Santos, O.M. and Wellings, A. (2005) Cost Monitoring and Enforcement in the Real-Time Specification for Java- a formal evaluation. In: Proceedings of the 26th IEEE Real-time Systems Symposium. Real-Time Systems Symposium, 8 DEC 2005, Miami, Florida. IEEE , pp. 177-186. ISBN 0-7695-2490-7

Full text not available from this repository.


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 UPPAALtool. 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 specification is suggested to remove this anomaly

Item Type: Proceedings Paper
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 20 Feb 2009 10:09
Last Modified: 27 Feb 2009 18:02
Published Version: http://dx.doi.org/10.1109/RTSS.2005.14
Status: Published
Publisher: IEEE
Identification Number: 10.1109/RTSS.2005.14
URI: http://eprints.whiterose.ac.uk/id/eprint/7341

Actions (repository staff only: login required)