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; Hans Søndergaard; Andy Wellings; Shuai Zhao

doi:10.1002/cpe.3963

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

Software Technology Engineering

Technical University of Denmark
Aalborg University
Department of Computer Science, University of York

Research output: Contribution to journal › Journal article › Research › peer-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. Copyright © 2016 John Wiley & Sons, Ltd.

Original language	English
Journal	Concurrency and Computation: Practice & Experience
Volume	29
Issue number	22
Number of pages	22
ISSN	1532-0626
DOIs	https://doi.org/10.1002/cpe.3963
Publication status	Published - 2017

Keywords

it

Access to Document

10.1002/cpe.3963

http://onlinelibrary.wiley.com/doi/10.1002/cpe.3963/epdf

Cite this

@article{47914cb865ad4cc487aca8bb2afc73d9,

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. Copyright {\textcopyright} 2016 John Wiley \& Sons, Ltd.",

keywords = "it, embedded systems, real-time systems, safety-critical Java",

author = "Martin Schoeberl and Dalsgaard, \{Andreas Engelbredt\} and Hansen, \{Rene Rydhof\} and Korsholm, \{Stephan Erbs\} and Ravn, \{Anders P.\} and Rivas, \{Juan Ricardo Rios\} 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 = "John Wiley and Sons Ltd",

number = "22",

}

TY - JOUR

T1 - Safety-critical Java for embedded systems

AU - Schoeberl, Martin

AU - Dalsgaard, Andreas Engelbredt

AU - Hansen, Rene Rydhof

AU - Korsholm, Stephan Erbs

AU - Ravn, Anders P.

AU - Rivas, Juan Ricardo Rios

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. Copyright © 2016 John Wiley & Sons, Ltd.

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. Copyright © 2016 John Wiley & Sons, Ltd.

KW - it

KW - embedded systems

KW - real-time systems

KW - safety-critical Java

U2 - 10.1002/cpe.3963

DO - 10.1002/cpe.3963

M3 - Journal article

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

Fingerprint

Cite this