Monarch: A high-assurance Java-to-java (J2j) source-code migrator

Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 bytecodes 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.

Original languageEnglish (US)
Title of host publicationProceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011
Pages152-156
Number of pages5
DOIs
StatePublished - Dec 1 2011
Event13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 - Boca Raton, FL, United States
Duration: Nov 10 2011Nov 12 2011

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
ISSN (Print)1530-2059

Conference

Conference13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011
CountryUnited States
CityBoca Raton, FL
Period11/10/1111/12/11

Fingerprint

Embedded systems

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Winter, V. L., Guerrero, J., Reinke, C., & Perry, J. T. (2011). Monarch: A high-assurance Java-to-java (J2j) source-code migrator. In Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011 (pp. 152-156). [6113887] (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2011.30

Monarch : A high-assurance Java-to-java (J2j) source-code migrator. / Winter, Victor L.; Guerrero, Jonathan; Reinke, Carl; Perry, James T.

Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011. p. 152-156 6113887 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Winter, VL, Guerrero, J, Reinke, C & Perry, JT 2011, Monarch: A high-assurance Java-to-java (J2j) source-code migrator. in Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011., 6113887, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp. 152-156, 13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011, Boca Raton, FL, United States, 11/10/11. https://doi.org/10.1109/HASE.2011.30
Winter VL, Guerrero J, Reinke C, Perry JT. Monarch: A high-assurance Java-to-java (J2j) source-code migrator. In Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011. p. 152-156. 6113887. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2011.30
Winter, Victor L. ; Guerrero, Jonathan ; Reinke, Carl ; Perry, James T. / Monarch : A high-assurance Java-to-java (J2j) source-code migrator. Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011. 2011. pp. 152-156 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).
@inproceedings{b5812cd0a0d94113836d4b3342599d07,
title = "Monarch: A high-assurance Java-to-java (J2j) source-code migrator",
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 bytecodes 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.",
author = "Winter, {Victor L.} and Jonathan Guerrero and Carl Reinke and Perry, {James T.}",
year = "2011",
month = "12",
day = "1",
doi = "10.1109/HASE.2011.30",
language = "English (US)",
isbn = "9780769546155",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
pages = "152--156",
booktitle = "Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011",

}

TY - GEN

T1 - Monarch

T2 - A high-assurance Java-to-java (J2j) source-code migrator

AU - Winter, Victor L.

AU - Guerrero, Jonathan

AU - Reinke, Carl

AU - Perry, James T.

PY - 2011/12/1

Y1 - 2011/12/1

N2 - 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 bytecodes 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.

AB - 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 bytecodes 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.

UR - http://www.scopus.com/inward/record.url?scp=84856552540&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84856552540&partnerID=8YFLogxK

U2 - 10.1109/HASE.2011.30

DO - 10.1109/HASE.2011.30

M3 - Conference contribution

AN - SCOPUS:84856552540

SN - 9780769546155

T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

SP - 152

EP - 156

BT - Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011

ER -