Distributed Event Clock Automata: Extended abstract

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

229 Téléchargements (Pure)

Résumé

Dans les systèmes temps réel distribués, les horloges ne sont pas parfaitement synchronisées. Pour modéliser ceci, nous définissons les horloges indépendantes et leur sémantique. L'inclusion de langages d'automates temporisés à horloges indépendantes (icTA) est indécidable. C'est pourquoi nous proposons les horloges d'événements récursifs sindépendantes et leurs automates (DECA). Ils admettent toutes les opérations booléennes, et leur inclusion de langages est décidable (plus précisément, complète en espace polynomial), ce qui permet un développement par raffinements successifs. Nous proposons aussi la logique DECTL, une logique temps réel basée sur des évolutions temporelles indépendantes. On peut vérifier les modèles de cette logique en traduisant les formules en automates DECA.
langue originaleAnglais
titreCIAA 2011
Sous-titre16th International Conference on Implementation and Application of Automata
rédacteurs en chefB Bouchou-Markhoff
Lieu de publicationHeidelberg
EditeurSpringer
Pages250-263
Nombre de pages14
Volume6807
ISBN (imprimé)9783642222559
Les DOIs
étatPublié - 2011

    Empreinte digitale

Contient cette citation

Ortiz Vega, J., Legay, A., & Schobbens, P-Y. (2011). Distributed Event Clock Automata: Extended abstract. Dans B. Bouchou-Markhoff (Ed.), CIAA 2011: 16th International Conference on Implementation and Application of Automata (Vol 6807, p. 250-263). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-22256-6_23