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.