Access Restriction

Author Potanin, Alex ♦ Noble, James ♦ Zhao, Tian ♦ Vitek, Jan
Source CiteSeerX
Content type Text
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Runtime Overhead ♦ Rtsj Generality ♦ Re-strict Expressiveness ♦ Memory Subsys-tem ♦ Memory Safe Programming ♦ Particular Area ♦ New High Integrity Profile ♦ Real-time Applica-tions ♦ Appli-cation Developer ♦ Many Error Mode ♦ High Integrity System ♦ Memory-related Programming Error ♦ Real-time Java ♦ Large Spectrum ♦ Rtsj Program ♦ Real-time Specification ♦ High Integrity Profile ♦ Different Real-time Programming Style
Description The Real-time Specification for Java (RTSJ) has been designed to cover a large spectrum of real-time applica-tions, to achieve this goal the specification must cater to different real-time programming styles. This generality is essential for acceptance of Java by the industry but it also means that there are many error modes that appli-cation developers must deal with. The memory subsys-tem of the RTSJ is one particular area where the RTSJ’s generality creates complexity. This complexity is a prob-lem in high integrity systems as it can be the source of errors, and runtime overheads. The contribution of this paper is a new high integrity profile for memory safe programming in Real-time Java. This profile is notable in the sense that it does not re-strict expressiveness of RTSJ programs, yet it guarantees that no memory-related programming errors will occur at runtime. The profile is machine checkable, and sim-ple enough that errors can be readily corrected. While other profile have been put forward, this proposal is the first to have been evaluated on actual deployed software. 1.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2005-01-01
Publisher Institution in The 3rd workshop on Java Technologies for Real-time and Embedded Systems