Avoiding Shared Clocks in Networks of Timed Automata

Sandie Balaguer 1, 2 Thomas Chatain 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks. This is a problem when one considers implementing such model in a distributed architecture, since reading clocks a priori requires communications which are not explicitly described in the model. We focus on the following question: given a NTA A1 || A2 where A2 reads some clocks reset by A1, does there exist a NTA A'1 ||A'2 without shared clocks with the same behavior as the initial NTA? For this, we allow the automata to exchange information during synchronizations only. We discuss a formalization of the problem and give a criterion using the notion of contextual timed transition system, which represents the behavior of A2 when in parallel with A1. Finally, we effectively build A'1 ||A'2 when it exists.
Type de document :
Communication dans un congrès
Koutny, Maciej and Ulidowski, Irek. Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, UK, United Kingdom. Springer, 7454, pp.100-114, 2012, 〈10.1007/978-3-642-32940-1_9〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00776574
Contributeur : Benedikt Bollig <>
Soumis le : mardi 15 janvier 2013 - 17:16:23
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Lien texte intégral

Identifiants

Collections

Citation

Sandie Balaguer, Thomas Chatain. Avoiding Shared Clocks in Networks of Timed Automata. Koutny, Maciej and Ulidowski, Irek. Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, UK, United Kingdom. Springer, 7454, pp.100-114, 2012, 〈10.1007/978-3-642-32940-1_9〉. 〈hal-00776574〉

Partager

Métriques

Consultations de la notice

139