Robust Specification of Real Time Components - Université de Rennes Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Robust Specification of Real Time Components

Résumé

Specification theories for real-time systems allow to reason about in-terfaces 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 implementation, we need to be able to reason about possibility to effectively implement the theoretical specifications on physical systems. In the literature, this implementation problem has already been linked to the robustness problem for Timed Automata, where small perturbations in the timings of the models are intro-duced. We address the problem of robust implementations in timed specification theories. Our contributions include the analysis of robust timed games and the study of robustness with respect to the operators of the theory.
Fichier principal
Vignette du fichier
formats11-long.pdf (322.37 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01088002 , version 1 (27-11-2014)

Identifiants

Citer

Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski. Robust Specification of Real Time Components. 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), Sep 2011, Aalborg, Denmark. pp.129 - 144, ⟨10.1007/978-3-642-24310-3_10⟩. ⟨hal-01088002⟩
235 Consultations
71 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More