Safety-critical Java on a time-predictable processor

Stephan E. Korsholm, Martin Schoeberl, Wolfgang Puffitsch

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

1 Downloads (Pure)

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 languageEnglish
Title of host publicationProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES '15)
Number of pages9
PublisherAssociation for Computing Machinery
Publication date2015
Article number3
ISBN (Print)978-1-4503-3644-4
DOIs
Publication statusPublished - 2015
Event13th International Workshop on Java Technologies for Real-time and Embedded Systems - Paris, France
Duration: 7 Oct 20158 Oct 2015
Conference number: 13
http://jtres2015.univ-mlv.fr/

Workshop

Workshop13th International Workshop on Java Technologies for Real-time and Embedded Systems
Number13
CountryFrance
CityParis
Period07/10/201508/10/2015
Internet address

Keywords

  • Safety-Critical Java
  • Hardware locks
  • Synchronization

Cite this

Korsholm, S. E., 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. https://doi.org/10.1145/2822304.2822309