Title :
A profile for high-integrity real-time Java programs
Author :
Puschner, Peter ; Wellings, Andy
Author_Institution :
Inst. fur Technische Inf., Tech. Univ. Wien, Austria
Abstract :
The paper defines a simple subset of tasking and object oriented features of the Real-Time Specification for Java that support high-integrity real time applications. The subset has been chosen to facilitate the development of efficient applications whose temporal behavior needs to be exactly predictable
Keywords :
Java; data integrity; formal specification; real-time systems; Real-Time Specification for Java; high-integrity real time Java programs; high-integrity real time applications; object oriented features; tasking; temporal behavior; Clocks; Computer languages; Concurrent computing; Java; Memory management; Object oriented modeling; Real time systems; Security; Timing; Yarn;
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2001. ISORC - 2001. Proceedings. Fourth IEEE International Symposium on
Conference_Location :
Magdeburg
Print_ISBN :
0-7695-1089-2
DOI :
10.1109/ISORC.2001.922813
