Developing Safety-Critical Java Applications with oSCJ : Presentation

Our oSCJ slides presented at JTRES:

oSCJ : Safety Critical Java Virtual Machine Development

View more our presentations.

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].

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.