A technology compatibility kit for safety critical Java

Authors:
Lei Zhao;Daniel Tang;Jan Vitek
Affiliations:
Purdue University;Purdue University;Purdue University
Venue:
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Year:
2009

Citing 3
Cited 2

The Real-Time Specification for Java

The Real-Time Specification for Java
Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems

RTAS '02 Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02)
A real-time benchmark for Java™

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

Challenge benchmarks for verification of real-time programs

Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
Developing safety critical Java applications with oSCJ/L0

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Safety Critical Java is a specification designed to case development and analysis of safety critical programs that must be certified. Since it is being developed with the Java Community Process, a Technology Compatibility Kit is required so that all aspiring implementations can check for conformance to the specification. In this paper, we present design considerations for an open source compatibility kit. Also we present initial experiments in using our kit to test a reference implementation being developed concurrently with the specification. The testing results are reported and discussed.