Monitoring Dynamical Signals While Testing Timed Aspects of a System - IMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Monitoring Dynamical Signals While Testing Timed Aspects of a System

Goran Frehse
Kim G. Larsen
  • Fonction : Auteur
  • PersonId : 996530
Marius Mikučionis
  • Fonction : Auteur
  • PersonId : 961877
Brian Nielsen
  • Fonction : Auteur
  • PersonId : 1003397

Résumé

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.
Fichier principal
Vignette du fichier
978-3-642-24580-0_9_Chapter.pdf (258.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01583916 , version 1 (08-09-2017)

Licence

Paternité

Identifiants

Citer

Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen. Monitoring Dynamical Signals While Testing Timed Aspects of a System. 23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩. ⟨hal-01583916⟩
73 Consultations
96 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More