Safety-critical Java for embedded systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Torur Biskopstø Strøm, Hans Søndergaard, Andy Wellings, Shuai Zhao

Research output: Contribution to journalJournal articleResearchpeer-review

273 Downloads (Pure)

Abstract

This paper presents the motivation for and outcomes of an engineering research project on certifiable Javafor embedded systems. The project supports the upcoming standard for safety-critical Java, which defines asubset of Java and libraries aiming for development of high criticality systems. The outcome of this projectinclude prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools formemory safety, and example applications to explore the usability of safety-critical Java for this applicationarea. The text summarizes developments and key contributions and concludes with the lessons learned.Copyright © 2016 John Wiley & Sons, Ltd.
Original languageEnglish
JournalConcurrency and Computation: Practice & Experience
Number of pages22
ISSN1532-0626
DOIs
Publication statusPublished - 2016

Keywords

  • Safety-critical Java
  • Real-time systems
  • Embedded systems

Cite this

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rios Rivas, J. R., Strøm, T. B., Søndergaard, H., Wellings, A., & Zhao, S. (2016). Safety-critical Java for embedded systems. Concurrency and Computation: Practice & Experience. https://doi.org/10.1002/cpe.3963