Zeitschriftenartikel:
J. Blieberger:
"Data-Flow Frameworks for Worst-Case Execution Time Analysis";
Real-Time Systems,
22
(2002),
3;
S. 183
- 227.
Kurzfassung englisch:
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.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1023/A:1014535317056
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.