A Profile for Safety Critical Java

Authors:
Martin Schoeberl;Hans Sondergaard;Bent Thomsen;Anders P. Ravn
Affiliations:
Vienna University of Technology, Austria;Vitus Bering Denmark University College, Denmark;Aalborg University, Denmark;Aalborg University, Denmark
Venue:
ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Year:
2007

Citing 0
Cited 13

Garbage collection for safety critical Java

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Towards a Java multiprocessor

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Model-based schedulability analysis of safety critical hard real-time Java programs

JTRES '08 Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
A predictable Java profile: rationale and implementations

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Mission modes for safety critical Java

SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Scheduling of hard real-time garbage collection

Real-Time Systems
Developing safety critical Java applications with oSCJ/L0

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
Harmonizing alternative approaches to safety-critical development with Java

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems
Safety-critical Java on a Java processor

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Tutorial overview: understanding dynamic memory management in safety critical java

Proceedings of the 2012 ACM conference on High integrity language technology
Safety-critical Java level 2: motivations, example applications and issues

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
A test suite for safety-critical Java using JML

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Non-blocking inter-partition communication with wait-free pair transactions

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

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.