Show simple item record

dc.contributor.authorHarmon, Trevor
dc.contributor.authorSchoeberl, Martin
dc.contributor.authorKirner, Raimund
dc.contributor.authorKlefstad, Raymond
dc.contributor.authorKim, K.H. (Kane)
dc.contributor.authorLowry, Michael R.
dc.identifier.citationHarmon , T , Schoeberl , M , Kirner , R , Klefstad , R , Kim , K H K & Lowry , M R 2012 , ' Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation ' , IEEE Transactions on Industrial Informatics , vol. 8 , no. 2 , pp. 366 - 377 .
dc.identifier.otherPURE: 649088
dc.identifier.otherPURE UUID: 329afdb3-8936-403b-b38f-6de95b22bbab
dc.identifier.otherScopus: 84859918646
dc.description.abstractFor 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.en
dc.relation.ispartofIEEE Transactions on Industrial Informatics
dc.subjectReal time systems, performance analysis, soft- ware performance, software reliability, software algorithms, safety
dc.titleFast, Interactive Worst-Case Execution Time Analysis With Back-Annotationen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionScience & Technology Research Institute
dc.contributor.institutionCentre for Computer Science and Informatics Research
dc.description.statusPeer reviewed
rioxxterms.typeJournal Article/Review

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record