DocumentCode
3011675
Title
A real-time isolate specification for Ravenscar-Java
Author
Cai, Hao ; Wellings, Andy
Author_Institution
Dept. of Comput. Sci., York Univ.
fYear
2004
fDate
14-14 May 2004
Firstpage
325
Lastpage
328
Abstract
The Ravenscar-Java profile is defined for high-integrity real-time Java programs. However, it only supports one application at any instance. This paper proposes an extended Ravenscar-Java that supports multiple applications with mixed integrity levels
Keywords
Java; data integrity; formal specification; real-time systems; storage management; Ravenscar-Java profile; memory management model; real-time Java programs; real-time isolate specification; Aerospace electronics; Application software; Computational modeling; Computer architecture; Distributed computing; Java; Memory management; Object oriented modeling; Processor scheduling; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on
Conference_Location
Vienna
Print_ISBN
0-7695-2124-X
Type
conf
DOI
10.1109/ISORC.2004.1300396
Filename
1300396
Link To Document