JamaicaVM is a hard realtime Java VM with fully deterministic garbage collection. JamaicaVM has been optimized for critical systems such as controls, as well as visualizations.
JamaicaCAR is an automotive application framework. It is based on JamaicaVM and Java technology, and adds realtime and reliability to the flexibility and extendibility of mobile apps.
VeriFlux is an automatic static code analysis tool for use in complete applications, as well as custom program parts. Nothing needs to be changed in the application to carry out the analysis. Error sources such as run-time errors or thread-related errors are highlighted in the source code.