A type system to assure scope safety within safety-critical Java modules

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A type system to assure scope safety within safety-critical Java modules

Full text

Pdf (409 KB)

Source

ACM International Conference Proceeding Series; Vol. 177 archive
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems table of contents

Paris, France

SESSION: Safety critical systems table of contents

Pages: 97 - 106

Year of Publication: 2006

ISBN:1-59593-544-4

Author

Kelvin Nilsen

Aonix North America, American Fork, UT

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 25, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1167999.1168017 What is a DOI?

ABSTRACT

To address the needs of safety-critical system developers, a type system based on Java 5.0 meta-data annotations and special bytecode verification techniques is described. This type system enables programmers to develop code for which the byte code verifier is able to prove the absence of scoped memory protocol errors, thereby eliminating the need for run-time assignment checks. Benefits of the type system include improved software reliability, easier maintenance and integration of independently developed realtime software modules, and higher performance.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G. Bollella, B. Brosgol, J. Gosling, P. Dibble, S. Furr, M. Turnbull, "The Real-Time Specification for Java", Addison Wesley Longman, 195 pages, Jan. 15, 2000.
	2	Michael Hicks , Greg Morrisett , Dan Grossman , Trevor Jim, Experience with safe manual memory-management in cyclone, Proceedings of the 4th international symposium on Memory management, October 24-25, 2004, Vancouver, BC, Canada [doi>10.1145/1029873.1029883]
	3	Chandrasekhar Boyapati , Alexandru Salcianu , William Beebee, Jr. , Martin Rinard, Ownership types for safe region-based memory management in real-time Java, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
	4	C. Andreae, Y. Coady, C. Gibbs, J. Noble, J. Vitek, T. Zhao, "Scoped Types and Aspects for Real-Time Java", ECOOP, pp. 124--147, Springer-Verlag, 2006.
	5	K. Nilsen. "Guidelines for Scalable Java Development of Real-Time Systems", March 2006, available at http://research.aonix.com/jsc.

CITED BY 2

	Delvin C. Defoe , Rob LeGrand , Ron K. Cytron, On the connection between functional programming languages and real-time Java scoped memory, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
	Kelvin Nilsen, Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria