Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems 2011
DOI: 10.1145/2043910.2043916
|View full text |Cite
|
Sign up to set email alerts
|

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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
20
0

Year Published

2015
2015
2017
2017

Publication Types

Select...
3
3

Relationship

2
4

Authors

Journals

citations
Cited by 13 publications
(20 citation statements)
references
References 13 publications
0
20
0
Order By: Relevance
“…In recent years, several analysis tools for SCJ have been put forward including WCA [22], SARTS [23], TetaJ [24], and TETASARTS [25]. Characteristic for these is that they rely on reconstruction of the control-flow graph (CFG), which characterizes all possible execution paths of the program.…”
Section: Java For Real-time System Developmentmentioning
confidence: 99%
See 4 more Smart Citations
“…In recent years, several analysis tools for SCJ have been put forward including WCA [22], SARTS [23], TetaJ [24], and TETASARTS [25]. Characteristic for these is that they rely on reconstruction of the control-flow graph (CFG), which characterizes all possible execution paths of the program.…”
Section: Java For Real-time System Developmentmentioning
confidence: 99%
“…The NTA model can readily be used for estimating WCET and BCET but also generalizes to verification of properties expressible in timed computation tree logic (TCTL). In contrast to previous tools [24,25], which provide limited feedback, our technique can also generate witness traces that expose the reported behavior, useful for debugging and program understanding.…”
Section: Contributionsmentioning
confidence: 99%
See 3 more Smart Citations