Testing real-time systems with runtime enforcement

Abstract : —When testing a time-critical system, some scenarios can be hard to run when acting only on the input sequence. The proper execution of a given scenario might require for instance a minimal execution time for a given piece of software. Execution times are notoriously difficult to control because they depend not only on the inputs, but also on the state of the micro-architecture. In this paper, we propose a method, based on runtime enforcement, which forces a system to run such a scenario. We also describe an implementation in the context of a RTOS for embedded control systems. Our method starts with a parametric formal model of the system where the parameters are delays that can be added to simulate longer execution times. The domain of acceptable parameter values to run the target scenario is computed offline. Online, a framework plugged in the RTOS observes the execution of the system and injects delays when needed.
Type de document :
Article dans une revue
IEEE Design & Test, IEEE, 2018, 〈10.1109/MDAT.2018.2791801〉
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

Contributeur : Sébastien Faucou <>
Soumis le : mardi 20 février 2018 - 11:59:21
Dernière modification le : mercredi 19 décembre 2018 - 15:26:06
Document(s) archivé(s) le : lundi 21 mai 2018 - 12:35:17


Fichiers produits par l'(les) auteur(s)



Jean-Luc Béchennec, Matthias Brun, Sébastien Faucou, Louis-Marie Givel, Olivier Roux. Testing real-time systems with runtime enforcement. IEEE Design & Test, IEEE, 2018, 〈10.1109/MDAT.2018.2791801〉. 〈hal-01713193〉



Consultations de la notice


Téléchargements de fichiers