Portable worst-case execution time analysis using Java byte code

Authors:
Guillem Bernat;Alan Burns;Andy Wellings
Affiliations:
Real-Time Systems Research Group, Department of Computer Science, University of York, York, UK;Real-Time Systems Research Group, Department of Computer Science, University of York, York, UK;Real-Time Systems Research Group, Department of Computer Science, University of York, York, UK
Venue:
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
Year:
2000

Citing 6
Cited 16

Real-time Euclid: a language for reliable real-time systems

IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Combining static worst-case timing analysis and program proof

Real-Time Systems
Computing Maximum Task Execution Times — A Graph-BasedApproach

Real-Time Systems
Advanced compiler design and implementation

Advanced compiler design and implementation
Java Virtual Machine Specification

Java Virtual Machine Specification
picoJava-I: The Java Virtual Machine in Hardware

IEEE Micro

Ravenscar-Java: a high integrity profile for real-time Java

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Adaptive Soft Real-Time Java within Heterogeneous Environments

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance

Proceedings of the 16th IEEE international conference on Automated software engineering
Deadline analysis of interrupt-driven software

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Abstraction of assembler programs for symbolic worst case execution time analysis

Proceedings of the 41st annual Design Automation Conference
Deadline Analysis of Interrupt-Driven Software

IEEE Transactions on Software Engineering
Automated WCET analysis based on program modes

Proceedings of the 2006 international workshop on Automation of software test
Provably correct loops bounds for realtime Java programs

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
WCET analysis for a Java processor

JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Towards formally verifiable resource bounds for real-time embedded systems

ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs

JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
Time-predictable computer architecture

EURASIP Journal on Embedded Systems - FPGA supercomputing platforms, architectures, and techniques for accelerating computationally complex algorithms
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Worst-case execution times for a purely functional language

IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
A compilation framework for macroprogramming networked sensors

DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
Worst-case execution time analysis for a Java processor

Software—Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we address the problem of performing worst case execution time (WCET) analysis of Java Byte Code (JBC) which may be generated from different compilers and from different source languages. The motivation for the framework presented is to provide WCET analysis which is portable and therefore more likely to be used in an industrial context. Two issues are addressed in this paper, how to extract data flow and control flow information from JBC programs and how to provide a compiler/language independent mechanism to introduce WCET annotations in the source code. We show that an annotation mechanism based on calls to a static class with empty methods result in similar code when generated by Java or Ada compilers.