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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...