Certifiable Java for Embedded Systems


Objectives of the Project

The aim of this project is to develop a prototype development environment and platform for safetycritical 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 supports a safety case.

The main novelty of the project is that it consolidates and integrates a number of results from previous research by members of the team and others in a consciously engineered development environment and platform that supports certification of developed applications. The previous results include development of a highly predictable Java processor, contributions to profiles for predictable Java, and development of analysis tools. As most of the previous results are open-source, the results from this project will be available as open-source as well.

The expected result is of immediate interest for industry engaged in aerospace software development, as witnessed by the recent document by the European Space Agency (ESA) on On-board Software. Thus the company GomSpace is following the development closely and is investing resources in giving advice on applicability. In a larger perspective, the technology is important for other companies that develop software intensive systems that have to be certified. The results are also expected to have an impact within the new European, Artemis funded, research project RECOMP.

Read the full proposal: Part A, Part B

JTRES 2014

The 12th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES 2014 will take place on the Niagara Falls, NY, USA on the 13th and 14th of October 2014



Copyright © 2012 cj4es - Certifiable Java for Embedded Systems. All Rights Reserved.