Name
Abstract | ||
|---|---|---|
The WCET computation is one of the main challenges in hard real-time systems, since all further analysis is based on this value. The complexity of this problem leads existing analysis methods to compute WCET bounds instead of the exact WCET. In this work we propose a technique to compute the exact instruction fetch contribution to the WCET (IFC-WCET) in presence of a LRU instruction cache. We prove that an exact computation does not need to analyze the full exponential number of possible execution paths, but only a bounded subset of them. In the benchmark codes we have studied, the IFC-WCET is up to 62% lower than a bound computed with a widely used approach, and the difference between the number of possible execution paths and the ones relevant for the analysis is extremely large. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/RTCSA.2008.10 | RTCSA |
Keywords | Field | DocType |
benchmark code,wcet overestimation,exact computation,bounded subset,exact wcet,full exponential number,lru instruction cache,analysis method,wcet computation,exact instruction,possible execution path,real time,instruction sets,benchmark testing,real time systems,cache,lead,hardware | Exponential function,Instruction set,Computer science,Cache,Parallel computing,Real-time computing,Fetch,Benchmark (computing),Bounded function,Computation | Conference |
Citations | PageRank | References |
4 | 0.43 | 7 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| L. C. Aparicio | 1 | 30 | 3.15 |
| J. Segarra | 2 | 48 | 5.63 |
| C. Rodríguez | 3 | 4 | 0.43 |
| J. L. Villarroel | 4 | 84 | 5.90 |
| Victor Vinals | 5 | 227 | 21.83 |