Harmonizing alternative approaches to safety-critical development with Java
Kelvin Don Nilsen · 2011
As JSR-302 nears final approval, questions arise as to how it relates to alternative safety-critical Java development approaches. While availability of and adherence to an official standard is important for certain applications, there exist situations that will not be well served by the standard solution. This paper describes a unifying approach to allow the use of the baseline JSR-302 standard in combination with three alternative approaches, each of which has distinct advantages in particular scenarios. The three alternatives are (1) annotated JSR-302, (2) PERC Pico, and (3) traditional (garbage collected) Java.