Download now Free registration required
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