WCET Analysis of Java Bytecode Featuring Common Execution Environments

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)

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.
OriginalsprogDansk
TitelJTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Antal sider10
Vol/bind11
ForlagAssociation for Computing Machinery
Publikationsdato2011
Sider30-39
DOI
StatusUdgivet - 2011
BegivenhedThe 9th International Workshop on Java Technologies for Real-time and Embedded Systems - York, Storbritannien
Varighed: 26 sep. 201128 sep. 2011
Konferencens nummer: 9

Konference

KonferenceThe 9th International Workshop on Java Technologies for Real-time and Embedded Systems
Nummer9
Land/OmrådeStorbritannien
ByYork
Periode26/09/201128/09/2011

Emneord

  • WCET analysis
  • Model checking
  • Real-time Java
  • Real-time embedded systems
  • Software implemented JVM

Citationsformater