A Profile for Safety Critical Java

Martin Schoeberl; Hans Søndergaard; Bent Thomsen; Anders Peter Ravn

A Profile for Safety Critical Java

Martin Schoeberl
, Hans Søndergaard
, Bent Thomsen
, Anders Peter Ravn

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

28 Citations (Scopus)

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 [15]. 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.

Original language	English
Title of host publication	Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Number of pages	8
Publisher	IEEE Computer Society Press
Publication date	2007
Pages	94-101
ISBN (Print)	0-7695-2765-5
ISBN (Electronic)	http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.9
Publication status	Published - 2007
Event	10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) - Vienna, Austria Duration: 7 May 2007 → 9 May 2007

Conference

Conference	10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
Country/Territory	Austria
City	Vienna
Period	07/05/2007 → 09/05/2007

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{af4aecf098e811dc8188000ea68e967b,

title = "A Profile for Safety Critical Java",

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 [15]. 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.",

author = "Martin Schoeberl and Hans S{\o}ndergaard and Bent Thomsen and Ravn, \{Anders Peter\}",

year = "2007",

language = "English",

isbn = "0-7695-2765-5",

pages = "94--101",

booktitle = "Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing",

publisher = "IEEE Computer Society Press",

address = "United States",

note = "10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) ; Conference date: 07-05-2007 Through 09-05-2007",

}

Schoeberl, M, Søndergaard, H, Thomsen, B & Ravn, AP 2007, A Profile for Safety Critical Java. in Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, pp. 94-101, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), Vienna, Austria, 07/05/2007.

A Profile for Safety Critical Java. / Schoeberl, Martin; Søndergaard, Hans; Thomsen, Bent et al.
Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, 2007. p. 94-101.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - A Profile for Safety Critical Java

AU - Schoeberl, Martin

AU - Søndergaard, Hans

AU - Thomsen, Bent

AU - Ravn, Anders Peter

PY - 2007

Y1 - 2007

N2 - 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 [15]. 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.

AB - 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 [15]. 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.

M3 - Article in proceeding

SN - 0-7695-2765-5

SP - 94

EP - 101

BT - Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

PB - IEEE Computer Society Press

T2 - 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)

Y2 - 7 May 2007 through 9 May 2007

ER -

A Profile for Safety Critical Java

Abstract

Conference

AUB Link

Fingerprint

Cite this