WCET analysis of Java bytecode featuring common execution environments

  • Authors:

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

  • Affiliations:

  • Aalborg University, DK, Aalborg East, Denmark;Aalborg University, DK, Aalborg East, Denmark;Aalborg University, DK, Aalborg East, Denmark;Aalborg University, DK, Aalborg East, Denmark

  • Venue:
  • Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

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.