DMCA
Toward a unified standard for worst-case execution time annotations in real-time Java (2007)
| Venue: | In WPDRTS 2007, Fifteenth International Workshop on Parallel and Distributed Real-Time Systems |
| Citations: | 5 - 2 self |
BibTeX
@INPROCEEDINGS{Harmon07towarda,
author = {Trevor Harmon and Raymond Klefstad},
title = {Toward a unified standard for worst-case execution time annotations in real-time Java},
booktitle = {In WPDRTS 2007, Fifteenth International Workshop on Parallel and Distributed Real-Time Systems},
year = {2007}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
As real-time systems become more prevalent, there is a need to guarantee that these increasingly complex systems perform as designed. One technique involves a static analysis to place an upper bound on worst-case execution time (WCET). This temporal analysis cannot be made automatic and normally requires source annotations to assist a WCET analysis tool. At the same time, there is a growing interest in using Java for real-time systems. Several WCET analysis prototypes for Java have been created, and more are under development. Each relies on a competing and incompatible convention for annotations, resulting in portability problems and duplication of effort. We propose that Java’s own annotation mechanism should be used to address such issues. These builtin annotations provide a common platform for WCET analysis, improving portability and reducing the effort necessary to create these vital tools. We examine the features that make Java’s annotation standard attractive for WCET analysis, then discuss its current failings and make recommendations for future improvements. 1.
Keyphrases
real-time java worst-case execution time annotation unified standard wcet analysis real-time system several wcet analysis prototype portability problem annotation mechanism complex system perform worst-case execution time future improvement temporal analysis cannot builtin annotation incompatible convention source annotation java annotation standard attractive vital tool static analysis current failing common platform upper bound wcet analysis tool
