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.
CITATION STYLE
André, É., Coti, C., & Nguyen, H. G. (2015). Enhanced distributed behavioral cartography of parametric timed automata. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9407, pp. 319–335). Springer Verlag. https://doi.org/10.1007/978-3-319-25423-4_21
Mendeley helps you to discover research relevant for your work.