A Technology Compatibility Kit for Safety Critical Java

Date Added: Aug 2009
Format: PDF

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.