Towards a high integrity real-time Java virtual machine

H Cai; A J Wellings

Towards a high integrity real-time Java virtual machine

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English
Title of host publication	ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS
Editors	R Meersman, Z Tari
Place of Publication	BERLIN
Publisher	Springer
Pages	319-334
Number of pages	16
ISBN (Print)	3-540-20494-6
Publication status	Published - 2003
Event	OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003 - CATANIA Duration: 3 Nov 2003 → 7 Nov 2003

Conference

Conference	OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003
City	CATANIA
Period	3/11/03 → 7/11/03

Cite this

@inproceedings{a1a9ce9b37c54497a631c3da57c72a9d,

title = "Towards a high integrity real-time Java virtual machine",

abstract = "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.",

author = "H Cai and Wellings, {A J}",

year = "2003",

language = "English",

isbn = "3-540-20494-6",

pages = "319--334",

editor = "R Meersman and Z Tari",

booktitle = "ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS",

publisher = "Springer",

address = "Germany",

note = "OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003 ; Conference date: 03-11-2003 Through 07-11-2003",

}

TY - GEN

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

AU - Cai, H

AU - Wellings, A J

PY - 2003

Y1 - 2003

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.

M3 - Conference contribution

SN - 3-540-20494-6

SP - 319

EP - 334

BT - ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS

A2 - Meersman, R

A2 - Tari, Z

PB - Springer

CY - BERLIN

T2 - OTM Confederated International Woprkshops HCT-SWWA/IPW/JTRES/WORM/WMS and WRSM 2003

Y2 - 3 November 2003 through 7 November 2003

ER -