WCET analysis of probabilistic hard real-time systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

  • A. Colin
  • S.M. Petters
  • G. Bernat

Department/unit(s)

Publication details

Title of host publication23rd IEEE Real-Time Systems Symposium
DatePublished - 2002
Pages279-288
Number of pages9
PublisherIEEE
Original languageEnglish

Abstract

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.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations