15/08/2010

Developing Safety-Critical Java Applications with oSCJ

Read our oSCJ paper:
Developing Safety-Critical Java Applications with oSCJ

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 speci- fication, 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 RTEMS/LEON3 platform and Linux on a x86. Our results suggest that a high-degree of predictability and competitive performance can indeed be achieved.

The paper will be presented at JTRES'10 in Prague.

Download the paper in [PDF].

09/08/2010

JTRES'10: Advance Program

The advance program of the JTRES conference, held next week in Prague, is already availabe at JTRES Webpage. Here are some highlights. 

The keynotes:
  • Greg Bollella (ORACLE) : Some Recent Developments Around The RTSJ and Oracle.
  • Marc Pantel (University of Toulouse) : Certification and qualification concerns in the development of safety critical systems.
  • Rainer Trummer (University of Salzburg) : The JAviator Project
  • Marek Prochazka (European Space Agency) : Java in Space?
Also, do not miss the presentations of our two papers, I will be presenting:
  • Developing Safety-Critical Java Applications with oSCJ/L0 by Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek
          and
  • Static Checking of Safety-Critical Java Annotations by Daniel Tang, Ales Plsek, and Jan Vitek
See you at JTRES.