Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

Publication: Research - peer-reviewJournal article – Annual report year: 2012

Standard

Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. / Harmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R.

In: I E E E Transactions on Industrial Informatics, Vol. 8, No. 2, 2012, p. 366-377.

Publication: Research - peer-reviewJournal article – Annual report year: 2012

Harvard

APA

CBE

MLA

Vancouver

Author

Harmon, Trevor; Schoeberl, Martin; Kirner, Raimund; Klefstad, Raymond; Kim, Kwang H.; Lowry, Michael R. / Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation.

In: I E E E Transactions on Industrial Informatics, Vol. 8, No. 2, 2012, p. 366-377.

Publication: Research - peer-reviewJournal article – Annual report year: 2012

Bibtex

@article{eb627e362e874729a6502688daf9bd43,
title = "Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation",
keywords = "Performance analysis, Real-time systems, Safety, Software algorithms, Software performance, Software reliability",
publisher = "I E E E",
author = "Trevor Harmon and Martin Schoeberl and Raimund Kirner and Raymond Klefstad and Kim, {Kwang H.} and Lowry, {Michael R.}",
note = "Color versions of one or more of the figures in this paper are available online at http://ieeexplore.ieee.org. (c) 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.",
year = "2012",
doi = "10.1109/TII.2012.2187457",
volume = "8",
number = "2",
pages = "366--377",
journal = "I E E E Transactions on Industrial Informatics",
issn = "1551-3203",

}

RIS

TY - JOUR

T1 - Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

A1 - Harmon,Trevor

A1 - Schoeberl,Martin

A1 - Kirner,Raimund

A1 - Klefstad,Raymond

A1 - Kim,Kwang H.

A1 - Lowry,Michael R.

AU - Harmon,Trevor

AU - Schoeberl,Martin

AU - Kirner,Raimund

AU - Klefstad,Raymond

AU - Kim,Kwang H.

AU - Lowry,Michael R.

PB - I E E E

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - Performance analysis

KW - Real-time systems

KW - Safety

KW - Software algorithms

KW - Software performance

KW - Software reliability

U2 - 10.1109/TII.2012.2187457

DO - 10.1109/TII.2012.2187457

JO - I E E E Transactions on Industrial Informatics

JF - I E E E Transactions on Industrial Informatics

SN - 1551-3203

IS - 2

VL - 8

SP - 366

EP - 377

ER -