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 Citation (Scopus)

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 - Nov 10 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
CountryUnited States
CitySedona, AZ
Period2/2/052/4/05

Fingerprint

Loaders
Computer programming languages
Specifications
Hardware
Formal verification

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Winter, V. L., Beranek, J., Mametjanov, A., Fraij, F., Roach, S., & Wickstrom, G. (2005). A transformational overview of the core functionality of an abstract class loader for the SSP. In Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 (pp. 301-311). (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS). https://doi.org/10.1109/WORDS.2005.12

A transformational overview of the core functionality of an abstract class loader for the SSP. / Winter, Victor L.; Beranek, Jason; Mametjanov, Azamatbek; Fraij, Fares; Roach, Steve; Wickstrom, Greg.

Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005. 2005. p. 301-311 (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS).

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

Winter, VL, Beranek, J, Mametjanov, A, Fraij, F, Roach, S & Wickstrom, G 2005, A transformational overview of the core functionality of an abstract class loader for the SSP. in Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005. Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS, pp. 301-311, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005, Sedona, AZ, United States, 2/2/05. https://doi.org/10.1109/WORDS.2005.12
Winter VL, Beranek J, Mametjanov A, Fraij F, Roach S, Wickstrom G. A transformational overview of the core functionality of an abstract class loader for the SSP. In Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005. 2005. p. 301-311. (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS). https://doi.org/10.1109/WORDS.2005.12
Winter, Victor L. ; Beranek, Jason ; Mametjanov, Azamatbek ; Fraij, Fares ; Roach, Steve ; Wickstrom, Greg. / A transformational overview of the core functionality of an abstract class loader for the SSP. Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005. 2005. pp. 301-311 (Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS).
@inproceedings{9586ee016fea4818a7ede71944486e07,
title = "A transformational overview of the core functionality of an abstract class loader for the SSP",
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.",
author = "Winter, {Victor L.} and Jason Beranek and Azamatbek Mametjanov and Fares Fraij and Steve Roach and Greg Wickstrom",
year = "2005",
month = "11",
day = "10",
doi = "10.1109/WORDS.2005.12",
language = "English (US)",
isbn = "0769523471",
series = "Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS",
pages = "301--311",
booktitle = "Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005",

}

TY - GEN

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

AU - Winter, Victor L.

AU - Beranek, Jason

AU - Mametjanov, Azamatbek

AU - Fraij, Fares

AU - Roach, Steve

AU - Wickstrom, Greg

PY - 2005/11/10

Y1 - 2005/11/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=27544491476&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=27544491476&partnerID=8YFLogxK

U2 - 10.1109/WORDS.2005.12

DO - 10.1109/WORDS.2005.12

M3 - Conference contribution

AN - SCOPUS:27544491476

SN - 0769523471

T3 - Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

SP - 301

EP - 311

BT - Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005

ER -