A Real-Time Java Virtual Machine with Applications in Avionics Austin Armbruster The Boeing Company and Jason Baker, Antonio Cunei, Chapman Flack Purdue University and David Holmes, DLTeCH and Filip Pizlo Purdue University and Edward Pla, The Boeing Company and Marek Prochazka SciSys and Jan Vitek Purdue University 1. INTRODUCTION The Real-Time Specification for Java (RTSJ) [Bollella et al. 2000] was designed for the construction of large-scale Real-time Embedded systems [Sharp 2001; Dvorak et al. 2004]. The RTSJ allows programmers to write real-time programs in a type-safe language, thus reducing many opportunities for catastrophic failures; and second, that it allows hard-, soft- and non-real-time code to interoperate in the same execution environment. This is becoming increasingly important as large scale systems are being developed in Java, e.g. This work was supported under a DARPA PCES contract, NSF 501-1398-1086 and NSF CSR-AES 501-1398- 1588. A preliminary version of this paper appeared in the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006). Permission to make digital/hard copy of all or part of this material without fee for personal or classroom use provided that the copies are not made or distributed for profit or commercial advantage, the ACM copyright/server notice, the title of the publication, and its date appear, and notice is given that copying is by permission of the ACM, Inc. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission and/or a fee. c  20TBD ACM 1529-3785/20TBD/0700-0001 $5.00 ACM Transactions on Computational Logic, Vol. TBD, No. TBD, TBD 20TBD, Pages 1–0??.