Abstract
For real-time systems the whole execution stack needs to be time-predictable and analyzable for the worst-case execution time (WCET). This paper presents a time-predictable platform for safety-critical Java. The platform consists of (1) the Patmos processor, which is a time-predictable processor; (2) a C compiler for Patmos with support for WCET analysis; (3) the HVM, which is a Java-to-C compiler; (4) the HVM-SCJ implementation which supports SCJ Level 0, 1, and 2 (for both single and multicore platforms); and (5) a WCET analysis tool.
We show that real-time Java programs translated to C and compiled to a Patmos binary can be analyzed by the AbsInt aiT WCET analysis tool. To the best of our knowledge the presented system is the second WCET analyzable real-time Java system; and the first one on top of a RISC processor.
We show that real-time Java programs translated to C and compiled to a Patmos binary can be analyzed by the AbsInt aiT WCET analysis tool. To the best of our knowledge the presented system is the second WCET analyzable real-time Java system; and the first one on top of a RISC processor.
Original language | English |
---|---|
Title of host publication | Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15) |
Number of pages | 9 |
Publisher | Association for Computing Machinery |
Publication date | 2015 |
Article number | 3 |
ISBN (Print) | 978-1-4503-3644-4 |
DOIs | |
Publication status | Published - 2015 |
Event | 13th International Workshop on Java Technologies for Real-time and Embedded Systems - Paris, France Duration: 7 Oct 2015 → 8 Oct 2015 Conference number: 13 http://jtres2015.univ-mlv.fr/ |
Workshop
Workshop | 13th International Workshop on Java Technologies for Real-time and Embedded Systems |
---|---|
Number | 13 |
Country/Territory | France |
City | Paris |
Period | 07/10/2015 → 08/10/2015 |
Internet address |
Keywords
- Safety-Critical Java
- Hardware locks
- Synchronization