Publication at Faculty of Mathematics and Physics |
2010
Abstract
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specifi cation. SCJ is designed to make Java amenable to writing mission- and safety-critical software.
It does this by de fining a subset of the Real-time Specifi cation 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 specifi cation, 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.