Publications in Scientific Journals:
J. Blieberger:
"Data-Flow Frameworks for Worst-Case Execution Time Analysis";
Real-Time Systems,
22
(2002),
3;
183
- 227.
English abstract:
The purpose of this paper is to introduce frameworks based on
data-flow equations which estimate
the worst-case execution time (WCET) of real-time programs.
These frameworks allow several different WCET analysis techniques with various precisions,
which range from naive approaches to exact analysis,
provided exact knowledge on the program behavior is available.
In addition, data-flow frameworks can also be used for symbolic analysis
based on information derived automatically from the
source code of the program.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1023/A:1014535317056