Certifiable Java for Embedded Systems

Martin Schoeberl, Andreas Engelbredt Dalsgaard, Rene Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Torur Biskopstø Strøm, Hans Søndergaard

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationProceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014)
PublisherAssociation for Computing Machinery
Publication date2014
Pages10-19
ISBN (Print)978-1-4503-2813-5
DOIs
Publication statusPublished - 2014
Event12th International Workshop on Java Technologies for Real-time and Embedded Systems - Niagara Falls, United States
Duration: 13 Oct 201414 Oct 2014
Conference number: 12
http://jtres2014.compute.dtu.dk/

Workshop

Workshop12th International Workshop on Java Technologies for Real-time and Embedded Systems
Number12
Country/TerritoryUnited States
CityNiagara Falls
Period13/10/201414/10/2014
Internet address

Keywords

  • Safety-critical Java

Fingerprint

Dive into the research topics of 'Certifiable Java for Embedded Systems'. Together they form a unique fingerprint.

Cite this