Name
Abstract | ||
|---|---|---|
Real-time systems engineers face a daunting duty: they must ensure that each task in their system can always meet its deadline. To analyse schedulability they must know the worst-case execution time (WCET) of each task. However, determining exact WCETs is practically infeasible in cost-constrained industrial settings involving real-life code and COTS hardware. Static analysis tools that could yield sufficiently tight WCET bounds are often unavailable. As a result, interest in portable analysis approaches like measurement-based timing analysis is growing. We present an approach based on integer linear programming (ILP) for calculating a WCET estimate from a given database of timed execution traces. Unlike previous work, our method specifically aims at reducing overestimation, by means of an automatic classification of code executions into scenarios with differing worst-case behaviour. To ease the integration into existing analysis tool chains, our method is based on the implicit path enumeration technique. It can thus reuse flow facts from other analysis tools and produces ILP problems that can be solved by off-the-shelf solvers. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1007/s11241-015-9240-1 | Real-Time Systems |
Keywords | Field | DocType |
WCET,Worst-case execution time,IPET,Implicit path-enumeration technique,ILP,Integer linear programming,Timing analysis,Measurement,Context-sensitive,Scenarios | Analysis tools,Static program analysis,Worst-case execution time,Computer science,Reuse,Real-time computing,Static timing analysis,Integer programming,Execution time,Distributed computing | Journal |
Volume | Issue | ISSN |
52 | 1 | 0922-6443 |
Citations | PageRank | References |
2 | 0.35 | 22 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Michael Zolda | 1 | 42 | 3.57 |
| Raimund Kirner | 2 | 372 | 40.22 |