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

WCET analysis of probabilistic hard real-time systems

Bernat, G., Colin, A. and Petters, S.M. (2002) WCET analysis of probabilistic hard real-time systems. In: 23rd IEEE Real-Time Systems Symposium. RTSS 2002, December 3-5, 2002, Austin, TX. (USA). IEEE , pp. 279-288.

Full text not available from this repository.


Traditional approaches for worst case execution time (WCET) analysis produce values which are very pessimistic if applied to modern processors. In addition, end to end measurements as used in industry produce estimates of the execution time that potentially underestimate the real worst case execution time. We introduce the notion of probabilistic hard real-time systems which have to meet all the deadlines but for which a (high) probabilistic guarantee suffices. We combine both measurement and analytical approaches into a model for computing probabilistically bounds on the execution time of the worst case path of sections of code. The idea of the technique presented is based on combining (probabilistically) the worst case effects seen in individual blocks to build the execution time model of the worst case path of the program (such case may have not been observed in the measurements). We provide three alternative operators for the combination based on whether the information of their dependency is known. Experimental evaluation of a two case study shows extremely low probabilities of the values obtained by traditional analysis.

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: 08 Apr 2009 17:07
Last Modified: 08 Apr 2009 17:07
Published Version: http://dx.doi.org/10.1109/REAL.2002.1181582
Status: Published
Publisher: IEEE
Identification Number: 10.1109/REAL.2002.1181582
URI: http://eprints.whiterose.ac.uk/id/eprint/5510

Actions (repository staff only: login required)