Developing safety critical Java applications with oSCJ/L0

  title={Developing safety critical Java applications with oSCJ/L0},
  author={Ales Plsek and Lei Zhao and Veysel H. Sahin and Daniel Tang and Tomas Kalibera and Jan Vitek},
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 specification, a library called oSCJ, and reports on performance evaluation on the Ovm real… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS
19 Citations
2 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 19 extracted citations


Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…