Abstract: Priority inversion and priority inheritance protocols ... and the Real-Time Specification for Java (RTSJ), little has been written about the consequences of using both protocols concurrently ...

In this paper, we present the tool LARVA, for the runtime verification of properties of Java programs, including real-time properties. Properties can be expressed in a number of notations, including ...