Parameterized verification of synchronization in constrained reconfigurable broadcast networks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Parameterized verification of synchronization in constrained reconfigurable broadcast networks

Résumé

Reconfigurable broadcast networks provide a convenient formalism for modelling and reasoning about networks of mobile agents broadcasting messages to other agents following some (evolving) communication topology. The parameterized verification of such models aims at checking whether a given property holds irrespective of the initial configuration (number of agents, initial states and initial communication topology). We focus here on the synchronization property, asking whether all agents converge to a set of target states after some execution. This problem is known to be decidable in polynomial time when no constraints are imposed on the evolution of the communication topology (while it is undecidable for static broadcast networks). In this paper we investigate how various constraints on reconfigurations affect the decidability and complexity of the synchronization problem. In particular, we show that when bounding the number of reconfigured links between two communications steps by a constant, synchronization becomes undecidable; on the other hand, synchronization remains decidable in PTIME when the bound grows with the number of agents.
Fichier principal
Vignette du fichier
tacas2018-2-BBM.pdf (400.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01889046 , version 1 (05-10-2018)

Identifiants

Citer

A.R. Balasubramanian, Nathalie Bertrand, Nicolas Markey. Parameterized verification of synchronization in constrained reconfigurable broadcast networks. TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.38-54, ⟨10.1007/978-3-319-89963-3_3⟩. ⟨hal-01889046⟩
109 Consultations
91 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More