Safety-critical Java on a time-predictable processor

Stephan E.  Korsholm; Martin Schoeberl; Wolfgang Puffitsch

doi:10.1145/2822304.2822309

Safety-critical Java on a time-predictable processor

Stephan E. Korsholm
, Martin Schoeberl
, Wolfgang Puffitsch

VIA University College

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

1 Downloads (Orbit)

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.

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	https://doi.org/10.1145/2822304.2822309
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	http://jtres2015.univ-mlv.fr/

Keywords

Safety-Critical Java
Hardware locks
Synchronization

Access to Document

10.1145/2822304.2822309

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{aec4b4db3b824d3dbb20f70022901519,

title = "Safety-critical Java on a time-predictable processor",

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.",

keywords = "Safety-Critical Java, Hardware locks, Synchronization",

author = "Korsholm, \{Stephan E.\} and Martin Schoeberl and Wolfgang Puffitsch",

year = "2015",

doi = "10.1145/2822304.2822309",

language = "English",

isbn = "978-1-4503-3644-4",

booktitle = "Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15)",

publisher = "Association for Computing Machinery",

address = "United States",

note = "13th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2015 ; Conference date: 07-10-2015 Through 08-10-2015",

url = "http://jtres2015.univ-mlv.fr/",

}

Korsholm, SE, Schoeberl, M & Puffitsch, W 2015, Safety-critical Java on a time-predictable processor. in Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15)., 3, Association for Computing Machinery, 13th International Workshop on Java Technologies for Real-time and Embedded Systems, Paris, France, 07/10/2015. https://doi.org/10.1145/2822304.2822309

Safety-critical Java on a time-predictable processor. / Korsholm, Stephan E. ; Schoeberl, Martin; Puffitsch, Wolfgang.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15). Association for Computing Machinery, 2015. 3.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Safety-critical Java on a time-predictable processor

AU - Korsholm, Stephan E.

AU - Schoeberl, Martin

AU - Puffitsch, Wolfgang

N1 - Conference code: 13

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

KW - Safety-Critical Java

KW - Hardware locks

KW - Synchronization

U2 - 10.1145/2822304.2822309

DO - 10.1145/2822304.2822309

M3 - Article in proceedings

SN - 978-1-4503-3644-4

BT - Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15)

PB - Association for Computing Machinery

T2 - 13th International Workshop on Java Technologies for Real-time and Embedded Systems

Y2 - 7 October 2015 through 8 October 2015

ER -

Safety-critical Java on a time-predictable processor

Abstract

Workshop

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this