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 -