WCET Analysis of Java Bytecode Featuring Common Execution Environments

Kasper Søe Luckow, Bent Thomsen, Christian Frost, Casper Svenning Jensen

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

8 Citations (Scopus)


We present a novel tool for statically determining the Worst Case Execution Time (WCET) of Java Bytecode-based programs called Tool for Execution Time Analysis of Java bytecode (TetaJ). This tool differentiates itself from existing tools by separating the individual constituents of the execution environment into independent components. The prime benefit is that it can be used for execution environments featuring common embedded processors and software implementations of the JVM.

TetaJ employs a model checking approach for statically determining WCET where the Java program, the JVM, and the hardware are modelled as Networks of Timed Automata (NTA) and given as input to the state-of-the-art UPPAAL model checking tool. The tool is evaluated through a case study based on the classic text-book example of a hard real-time control system in a mine pump. The system is hosted on an execution environment featuring an interpretation-based JVM, called Hardware near Virtual Machine (HVM) that runs on an Atmel AVR ATmega2560 processor.
Original languageDanish
Title of host publicationJTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number of pages10
PublisherAssociation for Computing Machinery
Publication date2011
Publication statusPublished - 2011
EventThe 9th International Workshop on Java Technologies for Real-time and Embedded Systems - York, United Kingdom
Duration: 26 Sep 201128 Sep 2011
Conference number: 9


ConferenceThe 9th International Workshop on Java Technologies for Real-time and Embedded Systems
CountryUnited Kingdom

Cite this