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

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

doi:10.1109/HASE.2011.30

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

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

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 language	English (US)
Title of host publication	Proceedings - 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering, HASE 2011
Pages	152-156
Number of pages	5
DOIs	https://doi.org/10.1109/HASE.2011.30
State	Published - 2011
Event	13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 - Boca Raton, FL, United States Duration: Nov 10 2011 → Nov 12 2011

Publication series

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

Conference

Conference	13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011
Country	United States
City	Boca Raton, FL
Period	11/10/11 → 11/12/11

ASJC Scopus subject areas

Software
Safety, Risk, Reliability and Quality

Access to Document

10.1109/HASE.2011.30

Fingerprint Dive into the research topics of 'Monarch: A high-assurance Java-to-java (J2j) source-code migrator'. Together they form a unique fingerprint.

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 proceeding › Conference 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

@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.}",

note = "Copyright: Copyright 2012 Elsevier B.V., All rights reserved.; 13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011 ; Conference date: 10-11-2011 Through 12-11-2011",

year = "2011",

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 - 13th IEEE International Symposium on High Assurance Systems Engineering, HASE 2011

AU - Winter, Victor L.

AU - Guerrero, Jonathan

AU - Reinke, Carl

AU - Perry, James T.

PY - 2011

Y1 - 2011

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

Y2 - 10 November 2011 through 12 November 2011

ER -