A Technology Compatibility Kit for Safety Critical Java

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 166.5 KB