• Computer Science
  • Published in
    Concurrency and Computation…
    2017
  • DOI:10.1002/cpe.3963

Safety-critical Java for embedded systems

@article{Schoeberl2017SafetycriticalJF,
  title={Safety-critical Java for embedded systems},
  author={Martin Schoeberl and Andreas Engelbredt Dalsgaard and Ren{\'e} Rydhof Hansen and Stephan Korsholm and Anders P. Ravn and Juan Ricardo Rios and T{\'o}rur Biskopst{\o} Str{\o}m and Hans S{\o}ndergaard and Andy J. Wellings and Shuai Zhao},
  journal={Concurrency and Computation: Practice and Experience},
  year={2017},
  volume={29}
}
This paper presents the motivation for and outcomes of an engineering research project on certifiable Java for embedded systems. The project supports the upcoming standard for safety-critical Java, which defines a subset of Java and libraries aiming for development of high criticality systems. The outcome of this project include prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools for memory safety, and example applications to explore the usability… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Ahead-of-time algebraic compilation for safety-critical Java

VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Towards Compiling Region Types Into RTSJ-Compliant Java Code

  • 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
  • 2018
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 64 REFERENCES

libraries for analysis (WALA)

T. J. Watso
  • http://wala.sf.net/ accessed
  • 2014
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Perc real-time api (draft 1.3)

K Nilsen, S. Lee
  • newmonics July
  • 1998
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

A real-time Java tool chain for resource constrained platforms

  • Concurrency and Computation: Practice and Experience
  • 2013
VIEW 20 EXCERPTS