A real-time Java virtual machine with applications in avionics

Authors:
Austin Armbruster;Jason Baker;Antonio Cunei;Chapman Flack;David Holmes;Filip Pizlo;Edward Pla;Marek Prochazka;Jan Vitek
Affiliations:
The Boeing Company, Chicago, Illinois;Purdue University, Lafayette, Indiana;Purdue University, Lafayette, Indiana;Purdue University, Lafayette, Indiana;DLTeCH, Essex, United Kingdom;Purdue University, Lafayette, Indiana;The Boeing Company, Chicago, Illinois;SciSys, Bristol, United Kingdom;Purdue University, Lafayette, Indiana
Venue:
ACM Transactions on Embedded Computing Systems (TECS)
Year:
2007

Citing 24
Cited 36

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks

IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Priority inversion and its control: An experimental investigation

IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Performance of a hardware-assisted real-time garbage collector

ASPLOS VI Proceedings of the sixth international conference on Architectural support for programming languages and operating systems
Adding real-time capabilities to Java

Communications of the ACM
Thin locks: featherweight synchronization for Java

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
The Real-Time Specification for Java

The Real-Time Specification for Java
Priority Inheritance Protocols: An Approach to Real-Time Synchronization

IEEE Transactions on Computers
Evaluating the Expressive Power of the Real-Time Specification for Java*

Real-Time Systems
The Design and Performance of the jRate Real-Time Java Implementation

On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
An Implementation of Scoped Memory for Real-Time Java

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
JaRTS: A Portable Implementation of Real-Time Core Extensions for Java

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
Efficient memory-reference checks for real-time java

Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems

RTAS '02 Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02)
Evaluating Real-Time Java for Mission-Critical Large-Scale Embedded Systems

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Hard Real-Time Garbage-Collection in the Jamaica Virtual Machine

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Towards Model-Based and CCM-Based Applications for Real-Time Systems

ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Real-Time Distributed Object Computing: Ready for Mission-Critical Embedded System Applications

DOA '01 Proceedings of the Third International Symposium on Distributed Objects and Applications
Asynchronous Transfer of Control in the Real-Time Specification for Java

ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Analyzing the Performance of Memory Management in RTSJ

ISORC '02 Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Region-Based Memory Management for Real-Time Java

ISORC '01 Proceedings of the Fourth International Symposium on Object-Oriented Real-Time Distributed Computing
Lightweight confinement for featherweight java

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Oil and Water? High Performance Garbage Collection in Java with MMTk

Proceedings of the 26th International Conference on Software Engineering
Ravenscar-Java: a high-integrity profile for real-time Java: Research Articles

Concurrency and Computation: Practice & Experience - 2002 ACM Java Grande—ISCOPE Conference Part I
Engineering a common intermediate representation for the Ovm framework

Science of Computer Programming - Special issue on advances in interpreters, virtual machines and emulators (IVME'03)

Hierarchical real-time garbage collection

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Reflexes: abstractions for highly responsive systems

Proceedings of the 3rd international conference on Virtual execution environments
Scoped types and aspects for real-time Java memory management

Real-Time Systems
Garbage collection for safety critical Java

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Design and implementation of a comprehensive real-time java virtual machine

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software
Streamflex: high-throughput stream programming in java

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Flexible task graphs: a unified restricted thread programming model for java

Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems
Low-latency time-portable real-time programming with Exotasks

ACM Transactions on Embedded Computing Systems (TECS)
Existential Quantification for Variant Ownership

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
OGJ gone wild

International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming
High-Performance Transactional Event Processing

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
CDx: a family of real-time Java benchmarks

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Replicating real-time garbage collector for Java

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Real time Java on resource-constrained platforms with Fiji VM

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs

FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Challenge benchmarks for verification of real-time programs

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
@J: towards rapid development of dynamic analysis tools for the Java Virtual Machine

Proceedings of the Third Workshop on Virtual Machines and Intermediate Languages
High-level programming of embedded hard real-time devices

Proceedings of the 5th European conference on Computer systems
Reflexes: Abstractions for integrating highly responsive tasks into Java applications

ACM Transactions on Embedded Computing Systems (TECS)
Scheduling of hard real-time garbage collection

Real-Time Systems
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Developing safety critical Java applications with oSCJ/L0

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
The embedded Java benchmark suite JemBench

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Encoding ownership types in java

TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
Handles revisited: optimising performance and memory costs in a real-time collector

Proceedings of the international symposium on Memory management
Scheduling real-time garbage collection on uniprocessors

ACM Transactions on Computer Systems (TOCS)
Virtualizing real-time embedded systems with Java

Proceedings of the 48th Design Automation Conference
A Hardware Abstraction Layer in Java

ACM Transactions on Embedded Computing Systems (TECS)
WCET analysis of Java bytecode featuring common execution environments

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Memory management for safety-critical Java

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Region-Based RTSJ Memory Management: State of the art

Science of Computer Programming
A framework accommodating categorized multiprocessor real-time scheduling in the RTSJ

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Hybrid compilation and optimization for java-based digital TV platforms

ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Non-blocking inter-partition communication with wait-free pair transactions

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports on our experience with the implementation of the Real-time Specification for Java on the Ovm open source Java virtual machine. We describe the architecture and main design decisions involved in implementing real-time Java on Ovm. We present the first use of Real-time Java in avionics in the context of control software for a ScanEagle Unmanned Aerial Vehicle.