Safety-Critical Java Technology Specification, Public draft
Doug Locke, B. Scott Andersen, Ben Brosgol, Mike Fulton, Thomas Henties, James J. Hunt, Johan Olmütz Nielsen, Kelvin Nilsen, Martin Schoeberl, Joyce Tokar, Jan Vitek and Andy Wellings
This Safety-Critical Java Specification (JSR-302), based on the Real-Time Specification for Java (JSR-1), defines a set of Java services that are designed to be usable by applications requiring some level of safety certification. The specification is targeted to a wide variety of very demanding certification paradigms such as the safety-critical requirements of DO-178B, Level A. This specification presents a set of Java classes providing for safety-critical application startup, concurrency, scheduling, synchronization, input/output, memory management, timer management, interrupt processing, native interfaces, and exceptions. To enhance the certifiability of applications constructed to conform to this specification, this specification also presents a set of annotations that can be used to permit static checking for applications to guarantee that the application exhibits certain safety properties. To enhance the portability of safety-critical applications across different implementations of this specification, this specification also lists a minimal set of Java libraries that must be provided by conforming implementations.
Download Not Available
BibTex Entry
@manual{Locke2011,
author = {Doug Locke and B. Scott Andersen and Ben Brosgol and Mike Fulton and Thomas Henties and James J. Hunt and Johan Olm\"{u}tz Nielsen and Kelvin Nilsen and Martin Schoeberl and Joyce Tokar and Jan Vitek and Andy Wellings},
link = {http://www.jcp.org/en/jsr/detail?id=302},
organization = {Java Community Process},
title = {Safety-Critical Java Technology Specification, Public draft},
year = {2011}
}