Validating Java for Safety-Critical Applications
With the real-time extensions, Java can now be used for safety critical systems.
It is therefore primordial to be able to guarantee that virtual machine implementations not only conform to the Real-Time Specification for Java (RTSJ) but also that efficiency and predictability is up to a certain standard.
In particular, if the overhead incurred by RTSJ implementations are beyond a certain threshold, they may not suitable for safety...
Tags: java, safety critical