Explicit precedence constraints in safety-critical Java

Authors:
Wolfgang Puffitsch;Eric Noulard;Claire Pagetti
Affiliations:
DTU Copenhagen, Denmark;ONERA, Toulouse, France;ONERA, Toulouse, France
Venue:
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Year:
2013

Citing 7
Cited 0

Dynamic scheduling of real-time tasks under precedence constraints

Real-Time Systems
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
JOP Reference Handbook: Building Embedded Systems with a Java Processor

JOP Reference Handbook: Building Embedded Systems with a Java Processor
Multi-task Implementation of Multi-periodic Synchronous Programs

Discrete Event Dynamic Systems
About 15 years of real-time Java

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Safety-critical Java on a Java processor

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Mapping a multi-rate synchronous language to a many-core processor

RTAS '13 Proceedings of the 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Safety-critical Java (SCJ) aims at making the amenities of Java available for the development of safety-critical applications. The multi-rate synchronous language Prelude facilitates the specification of the communication and timing requirements of complex real-time systems. This paper combines Prelude and SCJ in order to benefit from the advantages of both approaches. An obstacle we encountered when combining these approaches was that Prelude relies on a scheduler that observes precedence constraints, but SCJ does not provide adequate support for this. Therefore, we propose an extension of SCJ to provide explicit support for precedence constraints. We present the considerations behind the design of this extension and discuss our experiences with a first prototype implementation based on the SCJ implementation of the Java Optimized Processor.