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 language | English |
---|---|
Title of host publication | Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014) |
Publisher | Association for Computing Machinery |
Publication date | 2014 |
Pages | 10-19 |
ISBN (Print) | 978-1-4503-2813-5 |
DOIs | |
Publication status | Published - 2014 |
Event | 12th International Workshop on Java Technologies for Real-time and Embedded Systems - Niagara Falls, United States Duration: 13 Oct 2014 → 14 Oct 2014 Conference number: 12 http://jtres2014.compute.dtu.dk/ |
Workshop
Workshop | 12th International Workshop on Java Technologies for Real-time and Embedded Systems |
---|---|
Number | 12 |
Country/Territory | United States |
City | Niagara Falls |
Period | 13/10/2014 → 14/10/2014 |
Internet address |
Keywords
- Safety-critical Java