Towards a High-Integrity Real-Time Java Virtual Machine
H. Cai and A. J. Wellings
This paper defines a run-time architecture for a Java Virtual Machine (JVM) that supports the Ravenscar-Java profile (RJVM). This architecture introduces an early class loading and verifying model that can facilitate the predictable efficient execution of Java applications, detect program errors at the initialization phase and prevent errors occurring during the mission phase. A pre-emptive fixed priority scheduler is provided which supports the immediate ceiling priority protocol to facilitate efficient resource usage. An economical predictable memory management model based on heap, immortal and linear time scoped memory (LTM) is presented. The integration of our proposed runtime architecture and the KVM is discussed.
BibTex Entry
@inproceedings{Cai2003,
author = {H. Cai and A. J. Wellings},
booktitle = {On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems},
pages = {319-334},
publisher = {Springer},
title = {Towards a High-Integrity Real-Time Java Virtual Machine},
volume = {LNCS 2889},
year = {2003}
}