© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Developing safety critical java applications with oscj/l0
Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek
In Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES), pages 182-196. ACM, August 2010 [doi].Abstract
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software. It does this by defining a subset of the Real-time Specification for Java that trades expressiveness for verifiability. This paper gives a high-level description of our implementation of the first compliance level of the SCJ specification, a library called oSCJ, and reports on performance evaluation on the Ovm real-time Java virtual machine. We compare SCJ to C on both a real-time operating system on the LEON3 platform and Linux on a x86. Our results suggest that a high-degree of predictability and competitive performance can indeed be achieved.
Download publication 957 kbytes (PDF)Bibtex Record
@inproceedings{3124,
author = {Ales Plsek and Lei Zhao and Veysel H. Sahin and Daniel Tang and Tomas Kalibera and Jan Vitek},
title = {Developing safety critical Java applications with oSCJ/L0},
month = {August},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1145/1850771.1850786},
url = {http://www.cs.kent.ac.uk/pubs/2010/3124},
publication_type = {inproceedings},
submission_id = {6323_1308765597},
ISBN = {978-1-4503-0122-0},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)},
publisher = {ACM},
refereed = {yes},
}