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

Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, Greg Wickstrom

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Pages301-311
Number of pages11
DOIs
StatePublished - 2005
Event10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States
Duration: Feb 2 2005Feb 4 2005

Publication series

NameProceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS
ISSN (Print)1530-1443

Conference

Conference10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Country/TerritoryUnited States
CitySedona, AZ
Period2/2/052/4/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'A transformational overview of the core functionality of an abstract class loader for the SSP'. Together they form a unique fingerprint.

Cite this