Asynchronous event handling and Safety Critical Java

Abstract

SUMMARY Over the last few years, the Java Community Process (under the auspices of Java Specification Request 302) has been developing a subset of Java augmented by the Real‐Time Specification for Java (RTSJ) for use in safety critical systems. The concurrency model supported by Safety Critical Java (SCJ) relies almost exclusively on an event‐based model rather than on a thread‐based model. This paper reviews the advantages and disadvantages of the two models and gives the pragmatic reasons that SCJ has adopted the former model. It describes the SCJ approach and gives a simple example of how it can be used, illustrating the difference in style between the RTSJ and SCJ code. The paper then considers the compatibility of the SCJ model with the RTSJ. It argues that by basing the SCJ classes on the RTSJ's BoundAsyncEvent class, some inconsistencies exist between the SCJ and the RTSJ models. Furthermore, some of the optimizations that are possible when mapping handlers to server threads are inhibited, even though the programming restrictions necessary for these optimizations are imposed by the SCJ specification. A revised model is presented that has a slightly more complicated API but is more consistent with the RTSJ and allows the optimizations. However, there is a resulting increase in the necessary run‐time support, particularly for multiprocessor implementations. Copyright © 2011 John Wiley & Sons, Ltd.

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

“…SCJ supports the notion of missions; a good introduction to this is given by Hunt and Nilsen [13]. The concurrency model is based on event handlers -see Wellings and Kim [24] for a rationale for this approach. Ravenscar Ada is a highly restricted subset of the full Ada concurrency and real-time models; see Burns [4] for the initial specification, and Burns and Wellings [3] for full consideration.…”

Introduction to the Special Issue on Java Technologies for Real‐Time and Embedded Systems

“…The SCJ has been designed only with the abstraction of an event handler, however, with a close correspondence to threads. The motivations for this decision are analyzed in detail in the fourth paper of this issue, by Wellings and Kim . The paper proposes a cleaner API for handlers that removes confusions with the use of bound event handlers and that allows optimizations of thread mappings.…”