Worst-Case Execution Time Analysis Through Types

Free registration required

Executive Summary

construct a fully automatic static WCET analysis suitable for real-time embedded systems applications by augmenting a high-level static analysis technique (originally aimed at heap-space) with a machine-level worst-case execution time tool. The authors evaluate this approach by studying two typical and realistic real-time control applications, using a readily available commercial micro-controller. Information about Worst-Case Execution Time (WCET) is critically important for many real-time systems. For example, they may require guarantees that a control loop is always fast enough to respond to its inputs.

  • Format: PDF
  • Size: 137.7 KB