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 | |
State | Published - Dec 1 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 |
Fingerprint
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality
Cite this
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
}
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 -