A technology compatibility kit for safety critical Java
Lei Zhao, Daniel Tang, Jan Vítek · 2009
Safety Critical Java is a specification designed to case development and analysis of safety critical programs that must be certified. Since it is being developed with the Java Community Process, a Technology Compatibility Kit is required so that all aspiring implementations can check for conformance to the specification. In this paper, we present design considerations for an open source compatibility kit. Also we present initial experiments in using our kit to test a reference implementation being developed concurrently with the specification. The testing results are reported and discussed.