Conference paper
Safety-critical Java on a time-predictable processor
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.
Language: | English |
---|---|
Publisher: | Association for Computing Machinery |
Year: | 2015 |
Pages: | 1-9 |
Proceedings: | 13th International Workshop on Java Technologies for Real-time and Embedded SystemsInternational Workshop on Java Technologies for Real-Time and Embedded Systems |
ISBN: | 1450336442 and 9781450336444 |
Types: | Conference paper |
DOI: | 10.1145/2822304.2822309 |
ORCIDs: | Schoeberl, Martin |