Towards a high integrity real-time Java virtual machine

TY - JOUR

T1 - Towards a high integrity real-time Java virtual machine

AU - Cai, Hao

AU - Wellings, Andy J.

PY - 2003/12/1

Y1 - 2003/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0242628289&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0242628289

SN - 0302-9743

VL - 2889

SP - 319

EP - 334

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -