Safety-critical Java for embedded systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan Korsholm, Anders Ravn, Juan Rivas, Tórur Strom, Hans Søndergaard, Shuai Zhao, Andrew John Wellings

Research output: Contribution to journalArticlepeer-review

Abstract

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 of safety-critical Java for this application area. The text summarizes developments and key contributions and concludes with the lessons learned.
Original languageEnglish
Pages (from-to)1-22
Number of pages22
JournalConcurrency and Computation: Practice and Experience
Early online date14 Dec 2016
DOIs
Publication statusE-pub ahead of print - 14 Dec 2016

Bibliographical note

© 2016 John Wiley & Sons, Ltd. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Cite this