Realtime Java Reading List

Programming Language and Type System

• [PLDI 03] Ownership types for safe region-based memory management in real-time Java - C Boyapati, A Salcianu, W Beebee Jr, M Rinard
• [Real-Time Systems 07] Scoped types and aspects for real-time Java memory management - Chris Andreae , Yvonne Coady , Celina Gibbs , James Noble , Jan Vitek , Tian Zhao
• [Theoretical Computer Science 05] A logic for secure memory access of abstract state machines - Stanislas Nanchen , Robert F. Stark
• [Science of Computer Programming 08] Implicit ownership types for memory management - Tian Zhao , Jason Baker , James Hunt , James Noble , Jan Vitek
• [TECS 05] Memory safety without garbage collection for embedded applications - Dinakar Dhurjati , Sumant Kowshik , Vikram Adve , Chris Lattner
• [SIGPLAN Notices 07] Streamflex: high-throughput stream programming in java - Jesper H. Spring , Jean Privat , Rachid Guerraoui , Jan Vitek
• [SIGPLAN Notices 08] Conditional correlation analysis for safe region-based memory management - Xi Wang , Zhilei Xu , Xuezheng Liu , Zhenyu Guo , Xiaoge Wang , Zheng Zhang
• [JTRES 06] A type system to assure scope safety within safety-critical Java modules - Kelvin Nilsen
• [JTRES 06] Proving the absence of RTSJ related runtime errors through data flow analysis - Fridtjof Siebert
• [JTRES 07] On the connection between functional programming languages and real-time Java scoped memory - Delvin C. Defoe , Rob LeGrand , Ron K. Cytron

Implement and Checking

• [Java Grande 02] Ravenscar-Java: a high integrity profile for real-time Java - J Kwon, A Wellings, S
• [JRTES 06] Provably correct loops bounds for realtime Java programs - James J. Hunt , Fridtjof B. Siebert , Peter H. Schmitt , Isabel Tonin
• [JTRES 06] A Ravenscar-Java profile implementation - Hans Sondergaard , Bent Thomsen , Anders P. Ravn
• [JTRES 06] Safety critical applications and hard real-time profile for Java: a case study in avionics - Erik Yu-Shing Hu , Eric Jenn , Nicolas Valot , Alejandro Alonso
• [JTRES 07] Real-time Java from an automated code generation perspective - Matteo Bordin , Tullio Vardanega
• [JTRES 07] A design pattern for using non-developmental items in real-time Java - T. W. Otani , M. Auguston , T. S. Cook , D. Drusinsky , J. B. Michael , M. Shing
• [JTRES 08] Model-based schedulability analysis of safety critical hard real-time Java programs - Thomas Bogholm , Henrik Kragh-Hansen , Petur Olsen , Bent Thomsen , Kim G. Larsen
• [JTRES 08] An efficient and predictable implementation of asynchronous event handling in the RTSJ - MinSeong Kim, Andy Wellings
• [VEE 07] Reflexes: abstractions for highly responsive systems - Jesper Honig Spring , Filip Pizlo , Rachid Guerraoui , Jan Vitek
• [ISORC 04] Real-time Java scoped memory: design patterns and semantics - F Pizlo, JM Fox, D Holmes, J Vitek
• [ISORC 07] A Profile for Safety Critical Java - Martin Schoeberl , Hans Sondergaard , Bent Thomsen , Anders P. Ravn,
• [? 2003] Hard real-time implementation of embedded software in java - J. TALPIN, E. GAMATI, B. L. DEZ, D. BERNER, and P. L. GUERNIC
• [PhD thesis 05] JOP: A Java Optimized Processor for Embedded Real-Time Systems - M. Schoeberl
• [ATVA 05] Model checking real time java using java pathfinder - G. Lindstrom, P. C. Mehlitz, and W. Visser
• [LNCS Embedded Software 01] An Implementation of Scoped Memory for Real-Time Java - William S. Beebee Jr., Martin Rinard
• [ISMM 04] Region analysis and transformation for Java programs - Sigmund Cherem , Radu Rugina
• [ISMM 02] Automated discovery of scoped memory regions for real-time Java - Morgan Deters, Ron K. Cytron
• [LCTES 03] Efficient memory-reference checks for real-time java - A Corsaro, RK Cytron

Scheduling

• [IEEE Trans. SOFTWARE ENGINEERING 95] Effective Analysis for Engineering Real-Time Fixed Priority Schedulers - Alan Burns, Ken Tindell, Andy Wellings
• [Real-Time Systems 98] Real-Time Schedulability Tests for Preemptive Multitasking - C. J. FIDGE

Performance and Evaluation

• [AIAA Space Conference 05] Validating java for safety-critical applications - J. M. Dautelle
• [RTAS 02] Evaluating real-time Java features and performance for real-time embedded systems - Angelo Corsaro, Douglas C. Schmidt
• [ISORC 04] Project Golden Gate: towards real-time Java in space missions - Dvorak, D. Bollella, G. Canham, T. Carson, V. Champlin, V. Giovannoni, B. Indictor, M. Meyer, K. Murray, A. Reinholtz, K.

Realtime GC

• [PLDI 08] A study of concurrent real-time garbage collectors - F Pizlo, E Petrank, B Steensgaard
• [ISMM 07] Stopless: a real-time garbage collector for multiprocessors -
• [POPL 09] Automated verification of practical garbage collectors - C Hawblitzel, E Petrank
• [ISORC 08] Memory Management for Real-Time Java: State of the Art - F Pizlo, J Vitek
• [EMSOFT 08] Tax-and-spend: democratic scheduling for real-time garbage collection - J Auerbach, DF Bacon, P Cheng, D Grove, B Biron, ...
• [PhD thesis 98] Scheduling Garbage Collection in Embedded Systems - Roger Henriksson
• [PhD thesis 01] Paralle, Real-Time Garbage Collection - Perry Cheng
• [POPL 03] A real-time garbage collector with low overhead and consistent utilization - David Bacon, Perry Cheng, V.T. Rajan
• [PLDI 01] A Parallel, Real-time Garbage Collector - Perry Cheng, Guy Blelloch
• [LCTES 03] Time-triggered garbage collection: robust and adaptive real-time GC scheduling for embedded systems - Ven Gestegard Robertz, Roger Henriksson

Old (maybe good?)

• [Java Developer's Journal 96] Issues in the design and implementation of real-time Java - Kelvin Nilsen
• [Communications of the ACM 75] Multiprocessing compactifying garbage collection - Guy L. Steele, Jr.

RTJVM

• SunRTS
• IBMJ9
• OVM
• JamaicaVM
• TimeSys
• Azulsystems
• [TECS 07] A real-time Java virtual machine with applications in avionics - Austin Armbruster, Jason Baker, Antonio Cunei, Chapman Flack, David Holmes, Filip Pizlo, Edward Pla, Marek Prochazka, Jan Vitek
• [EMSOFT 07] Design and implementation of a comprehensive real-time java virtual machine - Joshua Auerbach , David F. Bacon , Bob Blainey , Perry Cheng , Michael Dawson , Mike Fulton , David Grove , Darren Hart , Mark Stoodley