Evaluation of a Real-Time Monitoring Framework - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Evaluation of a Real-Time Monitoring Framework

Résumé

Many algorithms exist to generate real-time run-time monitors. This paper focuses on the assessment of an implementation of a real-time monitor designed to handle timed automata specification as input. The monitoring algorithm has been analysed to propose a simple and yet realistic assessment method. The feature measured is the CPU-time overhead introduced by the monitor, per event. Our methodology proceeds by first providing an analytical formula to point out the main sources of overhead. According to this formula, we derive the main parameters of a specification that influence the induced overhead. Then, “real-life” specifications are analyzed to get a realistic range for these quantitative parameters. They are used to generate equivalent applications to measure the overhead. Finally, the hypothesis introduced by the analytical formula on the actual overhead is discussed, with respect to the empirical results.
Fichier principal
Vignette du fichier
ERTS2008_0030_paper.pdf (401.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02269856 , version 1 (23-08-2019)

Identifiants

  • HAL Id : hal-02269856 , version 1

Citer

Thomas Robert, Matthieu Roy, Jean-Charles Fabre. Evaluation of a Real-Time Monitoring Framework. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02269856⟩
58 Consultations
24 Téléchargements

Partager

Gmail Facebook X LinkedIn More