Safety-critical Java for embedded systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, Rene Rydhof Hansen, Stephan Erbs Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Andy Wellings, Shuai Zhao

Publikation: Bidrag til tidsskriftTidsskriftsartikelForskningpeer review


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.
TidsskriftConcurrency and Computation: Practice & Experience
Udgave nummer22
Antal sider22
StatusUdgivet - 2017


  • it