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

178 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., ... Zhao, S. (2016). Safety-critical Java for embedded systems. Concurrency and Computation: Practice & Experience. https://doi.org/10.1002/cpe.3963
Schoeberl, Martin ; Dalsgaard, Andreas Engelbredt ; Hansen, René Rydhof ; Korsholm, Stephan E. ; Ravn, Anders P. ; Rios Rivas, Juan Ricardo ; Strøm, Torur Biskopstø ; Søndergaard, Hans ; Wellings, Andy ; Zhao, Shuai. / Safety-critical Java for embedded systems. In: Concurrency and Computation: Practice & Experience. 2016.
@article{952a8114b6934d8e90da5c3296394801,
title = "Safety-critical Java for embedded systems",
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 {\circledC} 2016 John Wiley & Sons, Ltd.",
keywords = "Safety-critical Java, Real-time systems, Embedded systems",
author = "Martin Schoeberl and Dalsgaard, {Andreas Engelbredt} and Hansen, {Ren{\'e} Rydhof} and Korsholm, {Stephan E.} and Ravn, {Anders P.} and {Rios Rivas}, {Juan Ricardo} and Str{\o}m, {Torur Biskopst{\o}} and Hans S{\o}ndergaard and Andy Wellings and Shuai Zhao",
year = "2016",
doi = "10.1002/cpe.3963",
language = "English",
journal = "Concurrency and Computation: Practice & Experience",
issn = "1532-0626",
publisher = "John Wiley & Sons Ltd",

}

Schoeberl, M, Dalsgaard, AE, Hansen, RR, Korsholm, SE, Ravn, AP, Rios Rivas, JR, Strøm, TB, 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

Safety-critical Java for embedded systems. / Schoeberl, Martin; Dalsgaard, Andreas Engelbredt; Hansen, René Rydhof; Korsholm, Stephan E.; Ravn, Anders P.; Rios Rivas, Juan Ricardo; Strøm, Torur Biskopstø; Søndergaard, Hans; Wellings, Andy; Zhao, Shuai.

In: Concurrency and Computation: Practice & Experience, 2016.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

T1 - Safety-critical Java for embedded systems

AU - Schoeberl, Martin

AU - Dalsgaard, Andreas Engelbredt

AU - Hansen, René Rydhof

AU - Korsholm, Stephan E.

AU - Ravn, Anders P.

AU - Rios Rivas, Juan Ricardo

AU - Strøm, Torur Biskopstø

AU - Søndergaard, Hans

AU - Wellings, Andy

AU - Zhao, Shuai

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - Safety-critical Java

KW - Real-time systems

KW - Embedded systems

U2 - 10.1002/cpe.3963

DO - 10.1002/cpe.3963

M3 - Journal article

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

SN - 1532-0626

ER -