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

doi:10.1109/WORDS.2005.12

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Proceedings - 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Pages	301-311
Number of pages	11
DOIs	https://doi.org/10.1109/WORDS.2005.12
State	Published - 2005
Event	10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 - Sedona, AZ, United States Duration: Feb 2 2005 → Feb 4 2005

Publication series

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

Conference

Conference	10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005
Country/Territory	United States
City	Sedona, AZ
Period	2/2/05 → 2/4/05

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1109/WORDS.2005.12

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 et al.
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 proceeding › Conference 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). doi: 10.1109/WORDS.2005.12

Winter, Victor L. ; Beranek, Jason ; Mametjanov, Azamatbek et al. / 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",

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",

note = "10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005 ; Conference date: 02-02-2005 Through 04-02-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

Y1 - 2005

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

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

Y2 - 2 February 2005 through 4 February 2005

ER -

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

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this