Use of Runtime Enforcement for the Test of Real-time Systems
Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier Henri Roux · 2015
The components and architectures of embeddedreal-time systems, both software and hardware, are getting moreand more complex. Because of this complexity, these systemstend to exhibit non deterministic behaviours. In this context, testing the reachability of a given system state is not alwaysachievable in a black box approach based on the sole control ofthe input sequence of the system. It is sometimes mandatory toact on the internal behaviour of the system. In this paper, wepropose a method to achieve this control by introducing delaysat the interface between the application and the RTOS (Real-Time Operating System) in order to drive the system towardthe desired states. The delays are generated automatically with atechnique based on parametric analysis of Time Petri Net (TPN).