Evaluating and Estimating the WCET Criticality Metric

Alexander Jordan

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Static analysis tools that are used for worst-case execution time (WCET) analysis of real-time software just provide partial information on an analyzed program. Only the longest-executing path, which currently determines the WCET bound is indicated to the programmer. This limited view can prevent a programmer (or compiler) from targeting optimizations the right way. A possible resort is to use a metric that targets WCET and which can be efficiently computed for all code parts of a program. Similar to dynamic profiling techniques, which execute code with input that is typically expected for the application, based on WCET analysis we can indicate how critical a code fragment is, in relation to the worst-case bound. Computing such a metric on top of static analysis, incurs a certain overhead though, which increases with the complexity of the underlying WCET analysis. We present our approach to estimate the Criticality metric, by relaxing the precision of WCET analysis. Through this, we can reduce analysis time by orders of magnitude, while only introducing minor error. To evaluate our estimation approach and share our garnered experience using the metric, we evaluate real-time programs, which are considered as standard WCET benchmarks. We furthermore demonstrate how the visualization of a Criticality-based profile can aid in the understanding of a program's worst-case behavior.
Original languageEnglish
Title of host publicationProceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems (ODES '14)
PublisherAssociation for Computing Machinery
Publication date2014
Pages11-18
ISBN (Electronic)978-1-4503-2595-0
DOIs
Publication statusPublished - 2014
Event11th Workshop on Optimizations for DSP and Embedded Systems (ODES '14) - Orlando, United States
Duration: 15 Feb 2014 → …
Conference number: 11
http://odes-workshop.weebly.com/

Workshop

Workshop11th Workshop on Optimizations for DSP and Embedded Systems (ODES '14)
Number11
Country/TerritoryUnited States
CityOrlando
Period15/02/2014 → …
Internet address

Keywords

  • Criticality
  • Worst-Case Execution Time
  • Program Profiling
  • Program Analysis

Fingerprint

Dive into the research topics of 'Evaluating and Estimating the WCET Criticality Metric'. Together they form a unique fingerprint.

Cite this