IEEE Computer Society - Testing Real-Time Systems With Runtime Enforcement

Author(s): Jean-Luc Bechennec ; Sebastien Faucou ; Olivier H. Roux ; Matthias Brun ; Louis-Marie Givel
Publisher: IEEE Computer Society
Publication Date: 1 August 2018
Volume: 35
Page(s): 31 - 37
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2018.2791801

This paper enables the testing of real-time systems through runtime enforcement that can realize different test scenarios with specific internal timed behaviors. -Tulika Mitra, National University... View More