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

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.
OriginalsprogEngelsk
TidsskriftConcurrency and Computation: Practice & Experience
Vol/bind29
Udgave nummer22
Antal sider22
ISSN1532-0626
DOI
StatusUdgivet - 2017

Emneord

  • it

Citationsformater