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].
No comments:
Post a Comment