U.S. Department of Energy


Date of this Version



2011 IEEE 13th International Symposium on High-Assurance Systems Engineering; DOI 10.1109/HASE.2011.30


JVM-based processors used in embedded systems are often scaled back versions of the standard JVM which do not support the full set of Java byte codes and native methods assumed by a JVM. As a result, code bases such as Java libraries must be migrated in order make them suitable for execution on the embedded JVM-based processor. This paper describes Monarch, a high-assurance Java-to-java (J2j) source code migrator that we are developing to assist such code migrations.