Robust Synthesis for Real Time Systems - Université de Rennes Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2014

Robust Synthesis for Real Time Systems

Résumé

Specification theories for real-time systems allow reasoning about interfaces and their implementation models, using a set of operators that includes satisfaction, refinement, logical and parallel composition. To make such theories applicable throughout the entire design process from an abstract specification to an imple-mentation, we need to reason about the possibility to effectively implement the theoretical specifications on physical systems, despite their limited precision. In the literature, this implementation problem has been linked to the robustness problem that analyzes the consequences of introducing small perturbations into formal models. We address this problem of robust implementations in timed specification theories. We first consider a fixed perturbation and study the robustness of timed specifications with respect to the operators of the theory. To this end we synthesize robust strategies in timed games. Finally, we consider the parametric robustness problem and propose a counter-example refinement heuristic for computing safe perturbation values.
Fichier principal
Vignette du fichier
tcs-14-preprint.pdf (812.25 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01087778 , version 1 (26-11-2014)

Identifiants

Citer

Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski. Robust Synthesis for Real Time Systems. Theoretical Computer Science, 2014, 515, pp.96 - 122. ⟨10.1016/j.tcs.2013.08.015⟩. ⟨hal-01087778⟩
418 Consultations
96 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More