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.

fYear

2007

fDate

7-9 May 2007

Firstpage

94

Lastpage

101

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ISORC.2007.9

Filename

4208831