Developing safety critical Java applications with oSCJ/L0

@inproceedings{Plsek2010DevelopingSC,
  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},
  booktitle={JTRES},
  year={2010}
}
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

Citations

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

References

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

Similar Papers

Loading similar papers…