Monarch: A High-Assurance Java-to-java (J2j) Source-code Migrator

Authors

Victor L. Winter, University of Nebraska at OmahaFollow
Jonathan Guerrero, University of Nebraska at OmahaFollow
Carl Reinke, University of Nebraska at OmahaFollow
James T. Perry, Sandia National LaboratoriesFollow

Date of this Version

2011

Citation

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

Abstract

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.