International Conference on Formal Engineering Methods

Formal Methods and Software Engineering pp 319-335

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata

Conference paper

DOI: 10.1007/978-3-319-25423-4_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9407)
Cite this paper as:
André É., Coti C., Nguyen H.G. (2015) Enhanced Distributed Behavioral Cartography of Parametric Timed Automata. In: Butler M., Conchon S., Zaïdi F. (eds) Formal Methods and Software Engineering. Lecture Notes in Computer Science, vol 9407. Springer, Cham


Parametric timed automata (PTA) allow the specification and verification of timed systems incompletely specified, or subject to future changes. The behavioral cartography splits the parameter space of PTA in tiles in which the discrete behavior is uniform. Applications include the optimization of timing constants, and the measure of the system robustness w.r.t. the untimed language. Here, we present enhanced distributed algorithms to compute the cartography efficiently. Experimental results show that our new algorithms significantly outperform previous distribution techniques.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Étienne André
    • 1
  • Camille Coti
    • 1
  • Hoang Gia Nguyen
    • 1
  1. 1.Université Paris 13, Sorbonne Paris Cité, LIPN, CNRS, UMR 7030VilletaneuseFrance

Personalised recommendations