White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Ravenscar-Java: a High-integrity Profile for Real-time Java

Kwon, J., Wellings, A. and King, S. (2005) Ravenscar-Java: a High-integrity Profile for Real-time Java. Concurrency and Computation: Practice and Experience, 17 (5-6). 681 - 713. ISSN 1532-0626

Full text not available from this repository.


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.

Item Type: Article
Institution: The University of York
Academic Units: The University of York > Computer Science (York)
Depositing User: York RAE Import
Date Deposited: 19 Jun 2009 15:45
Last Modified: 19 Jun 2009 15:45
Published Version: http://dx.doi.org/10.1002/cpe.843
Status: Published
Publisher: John Wiley & Sons
Identification Number: 10.1002/cpe.843
URI: http://eprints.whiterose.ac.uk/id/eprint/5898

Actions (repository staff only: login required)