Title :
A real-time isolate specification for Ravenscar-Java
Author :
Cai, Hao ; Wellings, Andy
Author_Institution :
Dept. of Comput. Sci., York Univ.
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;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on
Conference_Location :
Vienna
Print_ISBN :
0-7695-2124-X
DOI :
10.1109/ISORC.2004.1300396
