Use of runtime enforcement for the test of real-time systems

The components and architectures of embedded real-time systems, both software and hardware, are getting more and more complex. Because of this complexity, these systems tend to exhibit non deterministic behaviours. In this context, testing the reachability of a given system state is not always achievable in a black box approach based on the sole control of the input sequence of the system. It is sometimes mandatory to act on the internal behaviour of the system. In this paper, we propose a method to achieve this control by introducing delays at the interface between the application and the RTOS (Real-Time Operating System) in order to drive the system toward the desired states. The delays are generated automatically with a technique based on parametric analysis of Time Petri Net (TPN).