Querying Parametric Temporal Logic Properties on Embedded Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Querying Parametric Temporal Logic Properties on Embedded Systems

Hengyi Yang
  • Fonction : Auteur
  • PersonId : 1003399
Bardh Hoxha
  • Fonction : Auteur
  • PersonId : 1003400
Georgios Fainekos
  • Fonction : Auteur
  • PersonId : 1003401

Résumé

In Model Based Development (MBD) of embedded systems, it is often desirable to not only verify/falsify certain formal system specifications, but also to automatically explore the properties that the system satisfies. Namely, given a parametric specification, we would like to automatically infer the ranges of parameters for which the property holds/does not hold on the system. In this paper, we consider parametric specifications in Metric Temporal Logic (MTL). Using robust semantics for MTL, the parameter estimation problem can be converted into an optimization problem which can be solved by utilizing stochastic optimization methods. The framework is demonstrated on some examples from the literature.
Fichier principal
Vignette du fichier
978-3-642-34691-0_11_Chapter.pdf (1 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01482426 , version 1 (03-03-2017)

Licence

Paternité

Identifiants

Citer

Hengyi Yang, Bardh Hoxha, Georgios Fainekos. Querying Parametric Temporal Logic Properties on Embedded Systems. 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.136-151, ⟨10.1007/978-3-642-34691-0_11⟩. ⟨hal-01482426⟩
92 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More