A comparison of ada and real-time Java™ for safety-critical applications

Authors:
Benjamin M. Brosgol;Andy Wellings
Affiliations:
AdaCore, New York, NY;Dept. of Computer Science, University of York, Heslington, York, UK
Venue:
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Year:
2006

Citing 4
Cited 2

Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java
The Ravenscar Tasking Profile for High Integrity Real-Time Programs

Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Ravenscar-Java: a high-integrity profile for real-time Java: Research Articles

Concurrency and Computation: Practice & Experience - 2002 ACM Java Grande—ISCOPE Conference Part I

Requirements on the Target Programming Language for High-Integrity MDE

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Region-Based RTSJ Memory Management: State of the art

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ada has long been used for developing safety-critical systems, and the upcoming Ada 2005 language revision extends this support. For various reasons Java has not been a serious choice in this domain. However, recent work based on the Real-Time Specification for Java promises to make Java technology a credible alternative. This paper discusses and compares Ada and the RTSJ with respect to the requirements for safety-critical systems, in particular how they can serve as the basis for subsets that can be used for developing safety-certified software.