A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Victor L. Winter Articles by Jason Beranek Articles by Azamatbek Mametjanov Articles by Fares Fraij Articles by Steve Roach

10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems

Sedona, Arizona

February 02-February 04

ISBN: 0-7695-2347-1

	ASCII Text	x
	Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, "A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP," Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on, pp. 301-311, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005.

	BibTex	x
	@article{ 10.1109/WORDS.2005.12, author = {Victor L. Winter and Jason Beranek and Azamatbek Mametjanov and Fares Fraij and Steve Roach}, title = {A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP}, journal ={Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on}, volume = {0}, year = {2005}, issn = {1530-1443}, pages = {301-311}, doi = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.12}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on TI - A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP SN - 1530-1443 SP301 EP311 A1 - Victor L. Winter, A1 - Jason Beranek, A1 - Azamatbek Mametjanov, A1 - Fares Fraij, A1 - Steve Roach, PY - 2005 KW - null VL - 0 JA - Object-Oriented Real-Time Dependable Systems, IEEE International Workshop on ER -

Victor L. Winter, University of Nebraska at Omaha Department of Computer Science

Jason Beranek, University of Nebraska at Omaha Department of Computer Science

Azamatbek Mametjanov, University of Nebraska at Omaha Department of Computer Science

Fares Fraij, University of Texas at El Paso Department of Computer Science

Steve Roach, University of Texas at El Paso Department of Computer Science

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.12

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 veri?cation of the implementation.

Citation:

Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach, "A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP," words, pp.301-311, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.