Skip to main content
OSTI.GOVU.S. Department of Energy Office of Scientific and Technical Information
U.S. Department of Energy
Office of Scientific and Technical Information
 

Java Source Code Analysis for API Migration to Embedded Systems

Journal Article · · Sandia journal manuscript; Not yet accepted for publication
OSTI ID:1427245
 [1];  [2];  [1];  [2];  [2]
  1. Univ. of Nebraska, Omaha, NE (United States)
  2. Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
+ Show Author Affiliations
Embedded systems form an integral part of our technological infrastructure and oftentimes play a complex and critical role within larger systems. From the perspective of reliability, security, and safety, strong arguments can be made favoring the use of Java over C in such systems. In part, this argument is based on the assumption that suitable subsets of Java’s APIs and extension libraries are available to embedded software developers. In practice, a number of Java-based embedded processors do not support the full features of the JVM. For such processors, source code migration is a mechanism by which key abstractions offered by APIs and extension libraries can made available to embedded software developers. The analysis required for Java source code-level library migration is based on the ability to correctly resolve element references to their corresponding element declarations. A key challenge in this setting is how to perform analysis for incomplete source-code bases (e.g., subsets of libraries) from which types and packages have been omitted. This article formalizes an approach that can be used to extend code bases targeted for migration in such a manner that the threats associated the analysis of incomplete code bases are eliminated.
Research Organization:
Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)
Sponsoring Organization:
USDOE National Nuclear Security Administration (NNSA)
DOE Contract Number:
AC04-94AL85000
OSTI ID:
1427245
Report Number(s):
SAND--2015-0701J; 563542
Journal Information:
Sandia journal manuscript; Not yet accepted for publication, Journal Name: Sandia journal manuscript; Not yet accepted for publication; ISSN 9999-0014
Publisher:
Sandia
Country of Publication:
United States
Language:
English

Similar Records

Java based open architecture controller
Conference · Wed Jan 12 23:00:00 EST 2000 · OSTI ID:756733
Sandia secure processor : a native Java processor.
Conference · Fri Aug 01 00:00:00 EDT 2003 · OSTI ID:1003920
High-performance file I/O in Java : existing approaches and bulk I/O extensions.
Journal Article · Sun Jul 01 00:00:00 EDT 2001 · Concurrency: Pract. Exper. · OSTI ID:943020

Related Subjects