Article thumbnail

A technology compatibility kit for safety critical Java

By Lei Zhao, Daniel Tang and Jan Vitek

Abstract

Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of safety critical programs that have to be certified. Though Real-Time Java was developed to add hard real-time support to Java, it permits too many freedoms that are not desirable for safety critical programs. The Safety Critical Specification for Java aims to deliver a more restricted programming model and provide a predictable structure and data flow that will ease analysis of applications written against it. Since the specification 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 the first steps towards an open source compatibility kit. We have developed it to test other implementations, including the reference implementation being developed concurrently with the specification. 1

Year: 2009
DOI identifier: 10.1145/1620405.1620428
OAI identifier: oai:CiteSeerX.psu:10.1.1.210.2248
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.purdue.edu/~jv/p... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.