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.
Second link is broken :(
ReplyDeleteFind the TCK paper here: http://www.cs.purdue.edu/homes/jv/pubs/jtres09b.pdf
ReplyDelete