Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed before execution. In order to guarantee the timing constraints of portable code for hard real-time applications, a particular static timing analysis is necessary. In this paper, we provide a static timing analysis environment for the development of real-time applications on the Java architecture. The major contributions include introducing a novel Extensible Annotations Class (XAC) format to capture portable annotations from the source level, presenting how to integrate XACs with portable Worst-Case Execution Time (WCET) analysis, describing how to obtain real-time thread parameters from Real-Time Java's specifications, and demonstrating how static timing analysis using the Java architecture can be carried out from portable code.
['Erik Yu-Shing Hu', 'Guillem Bernat', 'Andy J. Wellings']
A static timing analysis environment using Java architecture for safety critical real-time systems