Testing Real-Time Systems With Runtime Enforcement.

This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors. In this paper, we investigate the case for runtime enforcement in the test of time-critical systems. We focus on embedded control systems hosting a complex software layer typically built on top of a multitask real-time operating system (R...