A transformational overview of the core functionality of an abstract class loader for the SSP

The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performed statically. Static class loading has the net res...

Full description

Saved in:
Bibliographic Details
Main Authors: Winter, V.L., Beranek, J., Mametjanov, A., Fraij, F., Roach, S., Wickstrom, G.
Format: Conference Proceeding
Language:English
Subjects:
Computer languages
Computer science
Embedded software
Formal verification
Functional programming
Hardware
Java
Laboratories
Read only memory
US Department of Energy
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performed statically. Static class loading has the net result of dramatically simplifying the design of the SSP as well as increasing its performance. The functionality of the class loader can be implemented using strategic programming techniques. The incremental nature of strategic programming is amenable to formal verification. This article gives an overview of the core class loading activities for the SSP, their implementation in the strategic programming language TL, and outlines the approach to formal verification of the implementation.
ISSN:1530-1443
2378-573X
DOI:10.1109/WORDS.2005.12