A technology compatibility kit for safety critical Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A technology compatibility kit for safety critical Java

Full text

Pdf (468 KB)

Source

ACM International Conference Proceeding Series archive
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems table of contents

Madrid, Spain

SESSION: Java for safety-critical applications table of contents

Pages 160-168

Year of Publication: 2009

ISBN:978-1-60558-732-5

Authors

Lei Zhao	Purdue University
Daniel Tang	Purdue University
Jan Vitek	Purdue University

Sponsors

: Universidad Complutense de Madrid
: ACM
Sun : Sun
: aicas GmbH

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 11, Citation Count: 0

Additional Information:

abstract references

Tools and Actions:	Request Permissions 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/1620405.1620428 What is a DOI?

ABSTRACT

Safety Critical Java is a specification designed to case development and analysis of safety critical programs that must be certified. Since it is being developed with the Java Community Process, a Technology Compatibility Kit is required so that all aspiring implementations can check for conformance to the specification. In this paper, we present design considerations for an open source compatibility kit. Also we present initial experiments in using our kit to test a reference implementation being developed concurrently with the specification. The testing results are reported and discussed.

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	A. Corsaro and D. C. Schmidt. Evaluating real-time java features and performance for real-time embedded systems. In RTAS '02: Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02), page 90, Washington, DC, USA, 2002. IEEE Computer Society.
	2	B. P. Doherty. A real-time benchmark for java#8482;. In JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, pages 35--46, New York, NY, USA, 2007. ACM.
	3	D. Dvorak, G. Bollella, T. Canham, V. Carson, V. Champlin. B. Giovannoni, M. Indictor, K. Meyer, A. Murray, and K. Reinholtz. Project golden gate: towards real-time java in space missions. In Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on, pages 15--22, May 2004.
	4	http://emma.sourceforge.net/.
	5	J. Gosling and G. Bollella. The Real-Time Specification for Java. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
	6	http://java.sun.com/javase/6/.
	7	https://jck.dev.java.net/.
	8	https://jck.dev.java.net/jck-read-only-license.txt.
	9	http://jcp.org/.
	10	http://jcp.org/en/resources/tdk.
	11	http://jcp.org/en/jsr/detail?id=302.
	12	JSR302-Expert-Group. Safety Critical Specification for Java (Version 0.68 Draft). 31 July 2009.
	13	http://www.junit.org/.
	14	RTCA. DO178B / ED12B, Software Considerations in Airborne Systems and Equipment Certification. RTCA, 1992.
	15	https://sigtest.dev.java.net/.

Adobe Acrobat

QuickTime

Windows Media Player

Real Player