Monitoring Dynamical Signals While Testing Timed Aspects of a System

Abstract : We propose to combine timed automata and linear hybrid automata model checkers for formal testing and monitoring of embedded systems with a hybrid behavior, i.e., where the correctness of the system depends on discrete as well as continuous dynamics. System level testing is considered, where requirements capture abstract behavior and often include non-determinism due to parallelism, internal counters and subtle state of physical materials. The goal is achieved by integrating the tools Uppaal [2] and PHAVer [3], where the discrete and hard real-time aspects are driven and checked by Uppaal TRON and strict inclusion of dynamical trajectories is verified by PHAVer. We present the framework, the underlying theory, and our techniques for integrating the tools. We demonstrate the applicability on an industrial case study.
Type de document :
Communication dans un congrès
Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.115-130, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01583916
Contributeur : Hal Ifip <>
Soumis le : vendredi 8 septembre 2017 - 10:05:26
Dernière modification le : vendredi 6 juillet 2018 - 10:08:02

Fichier

978-3-642-24580-0_9_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Goran Frehse, Kim Larsen, Marius Mikučionis, Brian Nielsen. Monitoring Dynamical Signals While Testing Timed Aspects of a System. Burkhart Wolff; Fatiha Zaïdi. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. Springer, Lecture Notes in Computer Science, LNCS-7019, pp.115-130, 2011, Testing Software and Systems. 〈10.1007/978-3-642-24580-0_9〉. 〈hal-01583916〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

8