atego

Both Aicas and Atego focus on the embedded market (don't know about WebSphere RT).

The JVMs to consider are IBM's WebSphere Real Time[1], Aicas JamaicaVM[2] (their front page shows examples of use in medical devices) and Atego (formerly Aonix) Perc[3].

Some of the most interesting -- and most important -- ones are made by companies you've probably never heard of, like Aicas and Atego that make hard realtime JVMs for use in avionics, medical devices and other safety-critical systems.

- also possible in Java via Unsafe package, which is being promoted to official package in Java 9 - Excelsior JET, Atego JVM, RoboVM and many others AOT compilers do exist for Java.

The tooling you adopt (e.g., from Atego) will assist with verification and validation, as well as requirements traceability.

There are commercial AOT native compilers for Java targeting systems programming, like the ones from Atego.

It seems that the major vendors are Adacore, Green Hills, and Atego.

NET Micro Framework, Java (Atego, MicroEJ, J9,...) and Oberon (Astrobe), surely Go is also welcomed.

Excelcior JET, Atego, JamaicaVM, RoboVM, ART, CodenameOne, SubstrateVM are just a few of the available native compilers for Java.

The tooling you adopt (e.g., from Atego) will assist with verification and validation, as well as requirements traceability.

There are commercial AOT native compilers for Java targeting systems programming, like the ones from Atego.

It seems that the major vendors are Adacore, Green Hills, and Atego.