Our oSCJ slides presented at JTRES:
Blogging about Real-time Java Programming, RTSJ, Safety-Critical Java, RT Garbage Collection, etc.
15/08/2010
Developing Safety-Critical Java Applications with oSCJ
Read our oSCJ paper:
Developing Safety-Critical Java Applications with oSCJ
The paper will be presented at JTRES'10 in Prague.
Download the paper in [PDF].
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:
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?
- Developing Safety-Critical Java Applications with oSCJ/L0 by Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, and Jan Vitek
- Static Checking of Safety-Critical Java Annotations by Daniel Tang, Ales Plsek, and Jan Vitek
Subscribe to:
Posts (Atom)