Journal article
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation
NASA Ames Research Center1
Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Embedded Systems Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
University of Hertfordshire4
University of California at San Diego5
For hard real-time systems, static code analysis is needed to derive a safe bound on the worst-case execution time (WCET). Virtually all prior work has focused on the accuracy of WCET analysis without regard to the speed of analysis. The resulting algorithms are often too slow to be integrated into the development cycle, requiring WCET analysis to be postponed until a final verification phase.
In this paper, we propose interactive WCET analysis as a new method to provide near-instantaneous WCET feedback to the developer during software programming. We show that interactive WCET analysis is feasible using tree-based WCET calculation. The feedback is realized with a plugin for the Java editor jEdit, where the WCET values are back-annotated to the Java source at the statement level.
Comparison of this tree-based approach with the implicit path enumeration technique (IPET) shows that tree-based analysis scales better with respect to program size and gives similar WCET values.
| Language: | English |
|---|---|
| Publisher: | IEEE |
| Year: | 2012 |
| Pages: | 366-377 |
| ISSN: | 15513203 and 19410050 |
| Types: | Journal article |
| DOI: | 10.1109/TII.2012.2187457 |
| ORCIDs: | Schoeberl, Martin |
Performance analysis Real-time systems Safety Software algorithms Software performance Software reliability
Algorithm design and analysis Java Java editor jEdit Program processors Real time systems Timing final verification phase implicit path enumeration technique interactive WCET analysis interactive systems interactive worst-case execution time analysis near-instantaneous WCET feedback program diagnostics real-time systems safety software algorithms software performance software performance evaluation software programming software reliability static code analysis tree-based WCET calculation trees (mathematics)
