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

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, Torur Biskopstø Strøm, Hans Søndergaard, Andy Wellings, Shuai Zhao

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

785 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 language	English
Journal	Concurrency and Computation: Practice & Experience
Number of pages	22
ISSN	1532-0626
DOIs	https://doi.org/10.1002/cpe.3963
Publication status	Published - 2016

Keywords

Safety-critical Java
Real-time systems
Embedded systems

Access to Document

10.1002/cpe.3963

Cj4es jnlAccepted author manuscript, 524 KB

OpenUrl availability

Full text

Cite this

@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 {\textcopyright} 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",

}

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

SN - 1532-0626

JO - Concurrency and Computation: Practice & Experience

JF - Concurrency and Computation: Practice & Experience

ER -

Safety-critical Java for embedded systems

Abstract

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this