Safety-Critical Java Introduction

Safety-Critical Java is a new JSR-302 specification for a Safety-Critical standard on the Java platform.

A good introductory paper to the Safety-Critical Java implementation is Java for Safety-Critical Applications.

Look also at TCK for SCJ paper.