Safety-critical Java for embedded systems

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

doi:10.1002/cpe.3963

Safety-critical Java for embedded systems

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

^*Corresponding author for this work

Research output: Contribution to journal › Journal article › Research › peer-review

7 Citations (Scopus)

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 language	English
Journal	Concurrency and Computation: Practice & Experience
Volume	29
Issue number	22
ISSN	1532-0626
DOIs	https://doi.org/10.1002/cpe.3963
Publication status	Published - 2017

Keywords

Embedded systems
Real-time systems
Safety-critical Java

Access to Document

10.1002/cpe.3963

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{d3c2a0a33efa4b5f82ea1bba70fd9d18,

title = "Safety-critical Java for embedded systems",

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.",

keywords = "Embedded systems, Real-time systems, Safety-critical Java",

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, {T{\'o}rur Biskopst{\o}} and Hans S{\o}ndergaard and Andy Wellings and Shuai Zhao",

year = "2017",

doi = "10.1002/cpe.3963",

language = "English",

volume = "29",

journal = "Concurrency and Computation: Practice & Experience",

issn = "1532-0626",

publisher = "Wiley",

number = "22",

}

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, Tórur Biskopstø

AU - Søndergaard, Hans

AU - Wellings, Andy

AU - Zhao, Shuai

PY - 2017

Y1 - 2017

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

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

KW - Embedded systems

KW - Real-time systems

KW - Safety-critical Java

U2 - 10.1002/cpe.3963

DO - 10.1002/cpe.3963

M3 - Journal article

AN - SCOPUS:85010611289

SN - 1532-0626

VL - 29

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

IS - 22

ER -

Safety-critical Java for embedded systems

Abstract

Keywords

Access to Document

AUB Link

Fingerprint

Cite this