Safety-Critical Java on a Time-predictable Processor

Stephan Erbs Korsholm, Martin Schoeberl, Wolfgang Puffitsch

Publikation: Konferencebidrag uden forlag/tidsskriftPaper/skriftligt oplægForskningpeer review


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.
Publikationsdatookt. 2015
Antal sider10
StatusUdgivet - okt. 2015
Begivenhedjtres 2015 - Paris, Frankrig
Varighed: 7 okt. 20158 okt. 2015


Konferencejtres 2015


Dyk ned i forskningsemnerne om 'Safety-Critical Java on a Time-predictable Processor'. Sammen danner de et unikt fingeraftryk.