Certifiable Java for Embedded Systems

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

Certifiable Java for Embedded Systems

Martin Schoeberl, René Rydhof Hansen, Anders P. Ravn, Andreas Engelbredt Dalsgaard, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Stephan Erbs Korsholm, Hans Søndergaard

Software Technology Engineering

Publikation: Konferencebidrag uden forlag/tidsskrift › Paper/skriftligt oplæg › Forskning

Abstract

The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. There are three core constituents: A profile of the
Java programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse based application development environment that binds the profile and the platform together and provides analyses that help to provide evidence that can
be used as part of a safety case. This paper summarizes key contributions within these areas during the three-year project period. In the conclusion the overall result of the project is assessed.

Originalsprog	Engelsk
Publikationsdato	2014
Antal sider	10
Status	Udgivet - 2014

Emneord

programmering

Citationsformater

@conference{289aacb40a724c41859aee9bb1f1f300,

title = "Certifiable Java for Embedded Systems",

abstract = "The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. There are three core constituents: A profile of theJava programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse based application development environment that binds the profile and the platform together and provides analyses that help to provide evidence that canbe used as part of a safety case. This paper summarizes key contributions within these areas during the three-year project period. In the conclusion the overall result of the project is assessed.",

keywords = "programming, Safety-Critical Java",

author = "Martin Schoeberl and Hansen, {Ren{\'e} Rydhof} and Ravn, {Anders P.} and Dalsgaard, {Andreas Engelbredt} and Rivas, {Juan Ricardo Rios} and Str{\o}m, {T{\'o}rur Biskopst{\o}} and Korsholm, {Stephan Erbs} and Hans S{\o}ndergaard",

year = "2014",

language = "English",

}

TY - CONF

T1 - Certifiable Java for Embedded Systems

AU - Schoeberl, Martin

AU - Hansen, René Rydhof

AU - Ravn, Anders P.

AU - Dalsgaard, Andreas Engelbredt

AU - Rivas, Juan Ricardo Rios

AU - Strøm, Tórur Biskopstø

AU - Korsholm, Stephan Erbs

AU - Søndergaard, Hans

PY - 2014

Y1 - 2014

N2 - The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. There are three core constituents: A profile of theJava programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse based application development environment that binds the profile and the platform together and provides analyses that help to provide evidence that canbe used as part of a safety case. This paper summarizes key contributions within these areas during the three-year project period. In the conclusion the overall result of the project is assessed.

AB - The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. There are three core constituents: A profile of theJava programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse based application development environment that binds the profile and the platform together and provides analyses that help to provide evidence that canbe used as part of a safety case. This paper summarizes key contributions within these areas during the three-year project period. In the conclusion the overall result of the project is assessed.

KW - programming

KW - Safety-Critical Java

M3 - Paper

ER -

Certifiable Java for Embedded Systems

Abstract

Emneord

Fingeraftryk

Citationsformater