DocumentCode
3097862
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
fYear
2001
fDate
2001
Firstpage
15
Lastpage
22
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISORC.2001.922813
Filename
922813
Link To Document