WCET Analysis of Java Bytecode Featuring Common Execution Environments

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

doi:10.1145/2043910.2043916

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 proceeding › Article in proceeding › Research › peer-review

8 Citations (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.

Original language	Danish
Title of host publication	JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Number of pages	10
Volume	11
Publisher	Association for Computing Machinery
Publication date	2011
Pages	30-39
DOIs	https://doi.org/10.1145/2043910.2043916
Publication status	Published - 2011
Event	The 9th International Workshop on Java Technologies for Real-time and Embedded Systems - York, United Kingdom Duration: 26 Sept 2011 → 28 Sept 2011 Conference number: 9

Conference

Conference	The 9th International Workshop on Java Technologies for Real-time and Embedded Systems
Number	9
Country/Territory	United Kingdom
City	York
Period	26/09/2011 → 28/09/2011

Access to Document

10.1145/2043910.2043916

http://dl.acm.org/citation.cfm?doid=2043910.2043916

AUB Link

Search for the material in Aalborg University Library's search engine

8 Citations
1 PhD thesis

Platforms and Model-Based Analyses for Real-Time Java
Luckow, K. S., 2014, Department of Computer Science, Aalborg University.
Research output: PhD thesis

Cite this

@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",

}

Luckow, KS, Thomsen, B, Frost, C & Jensen, CS 2011, WCET Analysis of Java Bytecode Featuring Common Execution Environments. in JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems . vol. 11, Association for Computing Machinery, pp. 30-39, The 9th International Workshop on Java Technologies for Real-time and Embedded Systems, York, United Kingdom, 26/09/2011. https://doi.org/10.1145/2043910.2043916

WCET Analysis of Java Bytecode Featuring Common Execution Environments. / Luckow, Kasper Søe; Thomsen, Bent; Frost, Christian et al.
JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems . Vol. 11 Association for Computing Machinery, 2011. p. 30-39.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - WCET Analysis of Java Bytecode Featuring Common Execution Environments

AU - Luckow, Kasper Søe

AU - Thomsen, Bent

AU - Frost, Christian

AU - Jensen, Casper Svenning

N1 - Conference code: 9

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

KW - WCET analysis

KW - Model checking

KW - Real-time Java

KW - Real-time embedded systems

KW - Software implemented JVM

U2 - 10.1145/2043910.2043916

DO - 10.1145/2043910.2043916

M3 - Konferenceartikel i proceeding

VL - 11

SP - 30

EP - 39

BT - JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

PB - Association for Computing Machinery

T2 - The 9th International Workshop on Java Technologies for Real-time and Embedded Systems

Y2 - 26 September 2011 through 28 September 2011

ER -

WCET Analysis of Java Bytecode Featuring Common Execution Environments

Abstract

Conference

Access to Document

AUB Link

Research output

Platforms and Model-Based Analyses for Real-Time Java

Cite this