Title | ||
---|---|---|
Automatic Identification of Timing Anomalies for Cycle-Accurate Worst-Case Execution Time Analysis |
Abstract | ||
---|---|---|
Hard real-time systems need methods to deter- mine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counter- intuitive conditions in which a local speed-up of an instruction results in a global slow-down. Modern efficient timing analysis tools may yield inaccurate results when applied to proces- sors with timing anomalies while methods which are suited for timing-anomalous systems are computationally expensive. Timing anomaly identification is key in choosing the right analysis technique for a given processor. In this paper, for the first time, an automated timing anomaly identification approach based on formal methods is presented. We validate the method by applying it to a simplified microprocessor using a commercial model checking tool. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1109/DDECS.2006.1649563 | DDECS |
Keywords | Field | DocType |
formal meth- ods i. i ntroduction,timing anomalies,worst-case execution time wcet,real-time system verification,cycle-accurate worst-case execution time,automatic identification,model checking,out of order,formal methods,formal method,formal verification,assembly,upper bound,timing analysis,computer architecture,worst case execution time,real time systems | Counterintuitive,Worst-case execution time,Model checking,Computer science,Microprocessor,Real-time computing,Static timing analysis,Formal methods,Formal verification | Conference |
ISBN | Citations | PageRank |
1-4244-0185-2 | 9 | 0.81 |
References | Authors | |
7 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. Eisinger | 1 | 9 | 0.81 |
I. Polian | 2 | 9 | 0.81 |
B. Becker | 3 | 191 | 21.44 |
S. Thesing | 4 | 9 | 0.81 |
Reinhard Wilhelm | 5 | 3640 | 434.27 |
A. Metzner | 6 | 9 | 0.81 |