Querying Parametric Temporal Logic Properties on Embedded Systems - Testing Software and Systems Access content directly
Conference Papers Year : 2012

Querying Parametric Temporal Logic Properties on Embedded Systems

Hengyi Yang
  • Function : Author
  • PersonId : 1003399
Bardh Hoxha
  • Function : Author
  • PersonId : 1003400
Georgios Fainekos
  • Function : Author
  • PersonId : 1003401


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
Origin : Files produced by the author(s)

Dates and versions

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





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 View
91 Download



Gmail Facebook X LinkedIn More