19/12/2009

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.

2 comments:

  1. Second link is broken :(

    ReplyDelete
  2. Find the TCK paper here: http://www.cs.purdue.edu/homes/jv/pubs/jtres09b.pdf

    ReplyDelete