Title :
A Profile for Safety Critical Java
Author :
Schoeberl, Martin ; Søndergaard, Hans ; Thomsen, Bent ; Ravn, Anders P.
Author_Institution :
Inst. of Comput. Eng., Vienna Univ. of Technol.
Abstract :
We propose a new, minimal specification for real-time Java for safety critical applications. The intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as DO-178B (1992). The proposed profile is in line with the Java specification request JSR-302: Safety Critical Java Technology, which is still under discussion. In contrast to the current direction of the expert group for the JSR-302 we do not subset the rather complex Real-Time Specification for Java (RTSJ). Nevertheless, our profile can be implemented on top of an RTSJ compliant JVM
Keywords :
Java; formal specification; safety-critical software; software standards; DO-178B; JSR-302; Java specification request; Safety Critical Java Technology; minimal specification; real-time Java; real-time specification; safety critical Java; safety critical applications; safety critical standards; Application software; Embedded system; Java; Logic; Middleware; Programming profession; Real time systems; Safety; Standards development; Yarn;
Conference_Titel :
Object and Component-Oriented Real-Time Distributed Computing, 2007. ISORC '07. 10th IEEE International Symposium on
Conference_Location :
Santorini Island
Print_ISBN :
0-7695-2765-5
DOI :
10.1109/ISORC.2007.9
