Article

Ravenscar-Java: a high integrity profile for real-time Java

Authors:

Steve KingAuthors Info & Claims

JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande

Pages 131 - 140

https://doi.org/10.1145/583810.583825

Published: 03 November 2002 Publication History

Abstract

For many, Java is the antithesis of a high integrity programming language. Its combination of object-oriented programming features, its automatic garbage collection, and its poor support for real-time multi-threading are all seen as particular impediments. The Real-Time Specification for Java has introduced many new features that help in the real-time domain. However, the expressive power of these features means that very complex programming models can be created, necessitating complexity in the supporting real-time virtual machine. Consequently, Java, with the real-time extensions as they stand, seems too complex for confident use in high integrity systems. This paper presents a Java profile for the development of software-intensive high integrity real-time systems. This restricted programming model removes language features with high overheads and complex semantics, on which it is hard to perform timing and functional analyses. The profile fits within the J2ME framework and is consistent with well-known guidelines for high integrity software development, such as those defined by the U.S. Nuclear Regulatory Commission.

References

[1]

A. W. Appel, Protection against untrusted code: The JIT compiler security hole, and what you can do about it, http://www-106.ibm.com/developerworks/library/untrusted-code/, as of January 2001.]]

[2]

N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings, Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling, Software Engineering Journal, 8(5), 284--92, 1993.]]

[3]

A. Azevedo, A. Nicolau, and J. Hummel, Java Annotation-Aware Just-In-Time (AJIT) Compilation System, ACM 1999 Java Grande Conference, 1999.]]

Digital Library

[4]

J. Barnes, High integrity Ada: the SPARK approach, Addison Wesley, 1997.]]

[5]

S. Bentley, The Utilisation of the Java Language in Safety Critical System Development, MSc dissertation, Department of Computer Science, University of York, 1999.]]

[6]

G. Bernat, A. Burns, A. Wellings, Portable Worst Case Execution Time Analysis using Java Bytecode, In Proceedings of the 12th EUROMICRO conference on Real-Time Systems, 2000.]]

[7]

G. Bollella, et al, The Real-Time Specification for Java, Addison-Wesley, 2000.]]

Digital Library

[8]

J. P. Bowen and M. G. Hinchey, High Integrity System Specification and Design, Springer-Verlag, 1998.]]

Digital Library

[9]

G. Brat, K. Havelund, S. Park, and W. Visser, Model Checking Programs, In IEEE International Conference on Automated Software Engineering (ASE), Sep. 2000.]]

Digital Library

[10]

B. M. Brosgol, S. Robbins, and R. J. Hassan II, Asynchronous Transfer of Control in the Real-Time Specification for Java, In Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2002.]]

Digital Library

[11]

A. Burns, B. Dobbing, and G. Romanski, The Ravenscar Tasking Profile for High Integrity Real-Time Programs, In L. Asplund, editor, Proceedings of Ada-Europe 98, LNCS, Vol. 1411, pages 263--275, Berlin Heidelberg, Germany, Springer-Verlag 1998.]]

[12]

A. Burns, and A. Wellings, Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX, 3rd Ed., Addison Wesley, 2001.]]

Digital Library

[13]

B. Dobbing, The Ravenscar Profile for High Integrity Java Programs?, ACM Ada Letters, Vol. 21, Issue. 1, March 2001.]]

Digital Library

[14]

S. Drossopoulou and S. Eisenbach, Describing the Semantics of Java and Proving Type Soundness, in LNCS 1523 Formal Syntax and semantics of Java (ed. J. Alves-Foss), Springer-Verlag, Berlin, 1999.]]

Digital Library

[15]

Li Gong, Inside Java™ 2 Platform Security: Architecture, API Design, and Implementation, Addison-Wesley, 1999.]]

Digital Library

[16]

J. Gosling, B. Joy, G. Steele, and G. Bracha, The Java Language Specification, 2nd Ed., Addison Wesley, 2000.]]

Digital Library

[17]

P. H. Hartel and L. Moreau, Formalizing the Safety of Java, the Java Virtual Machine, and Java Card, ACM Computing Surveys, Vol. 33, No. 4, December 2001.]]

Digital Library

[18]

E. Y-S Hu, G. Bernat, and A. Wellings, Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems, In Proceedings of the 5th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2002.]]

Digital Library

[19]

A. Hutcheon, B. Jepson, D. Jordan, and I. Wand, A Study of High Integrity Ada: Language Review, Technical Report SLS31c/73-1-D, Version 2, York Software Engineering, University of York, July 1992.]]

[20]

J Consortium, International J Consortium Specification: Real-Time Core Extensions, Revision 1.0.14, www.j-consortium.org, September 2000.]]

[21]

Java PathFinder, http://ase.arc.nasa.gov/visser/jpf/, last accessed in April 2001.]]

[22]

J. Kwon, A. Wellings, and S. King, Assessment of the Java Programming Language for Use in High Integrity Systems, York Technical Report (YCS 341), Department of Computer Science, University of York, 2002, available at http://www.cs.york.ac.uk/ftpdir/reports/YCS-2002-341.pdf.]]

[23]

J. Kwon, A. Wellings, and S. King, Ravenscar-Java: A High Integrity Profile for Real-Time Java, York Technical Report (YCS 342), Department of Computer Science, University of York, 2002, available at http://www.cs.york.ac.uk/ftpdir/reports/YCS-2002-342.pdf.]]

Digital Library

[24]

K.R.M. Leino, G. Nelson, and J.B. Saxe, ESC/Java User's Manual, SRC Technical Note 2000-002, Compaq Systems Research Center, Palo Alto, CA, 2000.]]

[25]

N. G. Leveson, Software Safety: Why, What, and How, Computing Surveys, Vol. 18, No. 2, ACM, June 1986.]]

Digital Library

[26]

N. G. Leveson, Software Safety in Embedded Computer Systems, Communications of the ACM, Vol. 34, No. 2, February 1991.]]

Digital Library

[27]

C. Liu and J. Layland, Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment, Journal of ACM, 20(1), 46--61, 1973.]]

Digital Library

[28]

The Motor Industry Software Reliability Association, Guidelines for the use of the C language in vehicle based software, The Motor Industry Research Association, 1998.]]

[29]

H. Hetcht, M. Hecht, S. Graff, et al, Review Guidelines for Software Languages for Use in Nuclear Power Plant Systems, NUREG/CR-6463, U.S. Nuclear Regulatory Commission, 1997.]]

[30]

D. L. Parnas, A. J. van Schouwen, and S. P. Kwan, Evaluation of Safety-Critical Software, Communications of the ACM, Vol. 33, No. 6, June 1990.]]

Digital Library

[31]

P. Puschner and A. J. Wellings, A Profile for High Integrity Real-Time Java Programs, In Proceedings of the 4th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), 2001.]]

Digital Library

[32]

I. Sommerville, Software Engineering, 6th Ed., Addison Wesley, 2000.]]

Digital Library

[33]

Sun Microsystems®, Java™ 2 Platform Micro Edition (J2ME™) Technology for Creating Mobile Devices, White paper, Sun Microsystems® 2000.]]

Cited By

Hugues J(2022)A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014Journal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2021.102376123:COnline publication date: 1-Feb-2022
https://dl.acm.org/doi/10.1016/j.sysarc.2021.102376
Schoeberl MDalsgaard AHansen RKorsholm SRavn ARios Rivas JStrøm TSøndergaard HWellings AZhao S(2016)Safety‐critical Java for embedded systemsConcurrency and Computation: Practice and Experience10.1002/cpe.396329:22Online publication date: 14-Dec-2016
https://doi.org/10.1002/cpe.3963
Zhao SWellings AKorsholm SZiarek L(2015)Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time EnvironmentProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822305(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822305
Show More Cited By

Recommendations

Ravenscar-Java: a high-integrity profile for real-time Java: Research Articles
2002 ACM Java Grande—ISCOPE Conference Part I

For many, Java is the antithesis of a high-integrity programming language. Its combination of object-oriented programming features, its automatic garbage collection, and its poor support for real-time multi-threading are all seen as particular ...
A Ravenscar-Java profile implementation
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems

This paper presents an implementation of the Ravenscar-Java profile. While most implementations of the profile are reference-implementations showing that it is possible to implement the profile, our implementation is aimed at industrial applications. It ...
A Real-Time Java System on a Multithreaded Java Microcontroller
ISORC '02: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing

This paper presents a real-time Java hardware and software system for use in embedded applications. The system includes a multithreaded Java microcontroller, an adapted Java Virtual Machine (JVM) and an extended Application Programming Interface (API). ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

JGI '02: Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande

November 2002

252 pages

ISBN:1581135998

DOI:10.1145/583810

General Chair:
José E. Moreira
IBM Thomas J. Watson Research Center
,
Program Chairs:
Geoffrey C. Fox
Indiana University, Bloomington
,
Vladimir Getov
University of Westminster, London

Copyright © 2002 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 November 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

JGI02

Sponsor:

JGI02: Joint ACM Java Grande - ISCOPE 2002 Conference ( co-located with OOPSLA 2002 )

November 3 - 5, 2002

Washington, Seattle, USA

Acceptance Rates

Overall Acceptance Rate 18 of 60 submissions, 30%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

53
Total Citations
View Citations
1,200
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hugues J(2022)A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014Journal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2021.102376123:COnline publication date: 1-Feb-2022
https://dl.acm.org/doi/10.1016/j.sysarc.2021.102376
Schoeberl MDalsgaard AHansen RKorsholm SRavn ARios Rivas JStrøm TSøndergaard HWellings AZhao S(2016)Safety‐critical Java for embedded systemsConcurrency and Computation: Practice and Experience10.1002/cpe.396329:22Online publication date: 14-Dec-2016
https://doi.org/10.1002/cpe.3963
Zhao SWellings AKorsholm SZiarek L(2015)Supporting Multiprocessors in the Icecap Safety-Critical Java Run-Time EnvironmentProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822305(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822305
Krichen FHamid BZalila BJmaiel MCoulette B(2015)Development of reconfigurable distributed embedded systems with a model-driven approachConcurrency and Computation: Practice & Experience10.1002/cpe.309527:6(1391-1411)Online publication date: 25-Apr-2015
https://dl.acm.org/doi/10.1002/cpe.3095
Schoeberl MDalsgaard AHansen RKorsholm SRavn ARivas JStrøm TSøndergaard HPuffitsch W(2014)Certifiable Java for Embedded SystemsProceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2661020.2661025(10-19)Online publication date: 13-Oct-2014
https://dl.acm.org/doi/10.1145/2661020.2661025
Bøgholm TFrost CHansen RJensen CLuckow KRavn ASøndergaard HThomsen B(2013)Towards harnessing theories through tool support for hard real-time Java programmingInnovations in Systems and Software Engineering10.1007/s11334-012-0185-49:1(17-28)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1007/s11334-012-0185-4
Audsley NGray IKolovos DMatragkas NPaige RIndrusiak L(2013)Automatic Development of Embedded Systems Using Model Driven Engineering and Compile-Time VirtualisationEmbedded and Real Time System Development: A Software Engineering Perspective10.1007/978-3-642-40888-5_2(23-53)Online publication date: 20-Nov-2013
https://doi.org/10.1007/978-3-642-40888-5_2
Nilsen K(2012)Tutorial overviewACM SIGAda Ada Letters10.1145/2402709.240268532:3(15-22)Online publication date: 2-Dec-2012
https://dl.acm.org/doi/10.1145/2402709.2402685
Nilsen KBrosgol BBoleng JTaft T(2012)Tutorial overviewProceedings of the 2012 ACM conference on High integrity language technology10.1145/2402676.2402685(15-22)Online publication date: 2-Dec-2012
https://dl.acm.org/doi/10.1145/2402676.2402685
Schoeberl MRios JSchoeberl MWellings A(2012)Safety-critical Java on a Java processorProceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2388936.2388946(54-61)Online publication date: 24-Oct-2012
https://dl.acm.org/doi/10.1145/2388936.2388946
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents