Zusammenfassung
This paper describes the tool support for a framework for performing
probabilistic worst-case execution time (WCET) analysis for embedded
real-time systems. The tool is based on a combination of measurement
and static analysis, all in a probabilistic framework. Measurement is used
to determine execution traces and static analysis to construct the worst
path and effectively providing an upper bound on the worst-case execution
time of a program. The paper illustrates the theoretical framework and
the components of the tool together with a case study.
Nutzer