The Safety-Critical Java Memory Model: A Formal Account

@inproceedings{Cavalcanti2011TheSJ,
  title={The Safety-Critical Java Memory Model: A Formal Account},
  author={Ana Cavalcanti and Andy J. Wellings and Jim Woodcock},
  booktitle={FM},
  year={2011}
}
  • Ana Cavalcanti, Andy J. Wellings, Jim Woodcock
  • Published in FM 2011
  • Computer Science
  • Safety-Critical Java (SCJ) is a version of Java for real-time programming that facilitates certification of implementations of safety-critical systems. It is the result of an international effort involving industry and academia. What we provide here is, as far as we know, the first formalisation of the SCJ model of memory regions. We use the Unifying Theories of Programming (UTP) to enable the integration of our theory with refinement models for object-orientation and concurrency. In developing… CONTINUE READING

    Figures and Topics from this paper.

    Explore key concepts

    Links to highly relevant papers for key concepts in this paper:

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 24 CITATIONS

    FILTER CITATIONS BY YEAR

    2011
    2018

    CITATION STATISTICS

    • 1 Highly Influenced Citations