Safety-Critical Java on a Time-Predictable Processor

Autor:	Martin Schoeberl, Wolfgang Puffitsch, Stephan Erbs Korsholm
Rok vydání:	2015
Předmět:	Multi-core processor Java Reduced instruction set computing Computer science Call stack Synchronization (computer science) Operating system Compiler computer.software_genre computer Execution time computer.programming_language
Zdroj:	JTRES UC Viden
DOI:	10.1145/2822304.2822309
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8975f3eadc741d65817a7adacd17d48a https://doi.org/10.1145/2822304.2822309 Zobrazit plný text záznamu