@inproceedings{3e7150bfcdf14617a88050634edcd22a,
title = "WCET Analysis of Java Bytecode Featuring Common Execution Environments",
abstract = "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.",
keywords = "WCET analysis, Model checking, Real-time Java, Real-time embedded systems, Software implemented JVM",
author = "Luckow, {Kasper S{\o}e} and Bent Thomsen and Christian Frost and Jensen, {Casper Svenning}",
year = "2011",
doi = "10.1145/2043910.2043916",
language = "Dansk",
volume = "11",
pages = "30--39",
booktitle = "JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems",
publisher = "Association for Computing Machinery",
address = "USA",
note = "The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2011 ; Conference date: 26-09-2011 Through 28-09-2011",
}