Explicit Precedence Constraints in Safety-Critical Java

Wolfgang Puffitsch, Eric Noulard, Claire Pagetti

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

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.

Original languageEnglish
Title of host publicationProceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
PublisherAssociation for Computing Machinery
Publication date2013
Pages21-28
ISBN (Print)978-1-4503-2166-2
DOIs
Publication statusPublished - 2013
Event11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013) - Karlsruhe, Germany
Duration: 9 Oct 201310 Oct 2013
http://jtres2013.atego.com/

Conference

Conference11th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2013)
CountryGermany
CityKarlsruhe
Period09/10/201310/10/2013
Internet address

Cite this

Puffitsch, W., Noulard, E., & Pagetti, C. (2013). Explicit Precedence Constraints in Safety-Critical Java. In Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems (pp. 21-28). Association for Computing Machinery. https://doi.org/10.1145/2512989.2512997