君主:一个高保证的java到java (J2j)源代码迁移器

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering Pub Date : 2011-11-10 DOI:10.1109/HASE.2011.30

V. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry

{"title":"君主:一个高保证的java到java (J2j)源代码迁移器","authors":"V. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry","doi":"10.1109/HASE.2011.30","DOIUrl":null,"url":null,"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.","PeriodicalId":403140,"journal":{"name":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","volume":"253 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator\",\"authors\":\"V. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry\",\"doi\":\"10.1109/HASE.2011.30\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":403140,\"journal\":{\"name\":\"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering\",\"volume\":\"253 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.2011.30\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE 13th International Symposium on High-Assurance Systems Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.2011.30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

嵌入式系统中使用的基于JVM的处理器通常是标准JVM的缩小版本，这些版本不支持JVM所假定的全部Java字节码和本机方法。因此，必须迁移诸如Java库之类的代码库，以便使它们适合在嵌入式基于jvm的处理器上执行。本文描述了Monarch，一个高保证的Java-to-java (J2j)源代码迁移器，我们正在开发它来帮助这种代码迁移。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 IEEE 13th International Symposium on High-Assurance Systems Engineering

自引率

0.00%

发文量