Séminaire #3 mercredi 04/11/2020 par Ocan Sankur : An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP
le 4 novembre 2020
17h30-18h30
ENS Rennes En distanciel sur ce serveur BigBlueButton
Intervention de Ocan Sankur, chercheur dans l'équipe SUMO de l'IRISA et Inria Rennes, dans le cadre des séminaires du département Informatique et télécommunications.
We consider distributed timed systems that implement leader election protocols which are at the heart of clock synchronization protocols. We develop abstraction techniques for parameterized model checking of such protocols under arbitrary network topologies, where nodes have independently evolving clocks. We apply our technique for model checking the root election part of the flooding time synchronisation protocol (FTSP), and obtain improved results compared to previous work. We model check the protocol for all topologies in which the distance to the node to be elected leader is bounded by a given parameter.
De 17h30 à 18h30 en visio-conférence via ce serveur BigBlueButton. Séminaire ouvert à toutes et à tous, élèves et personnel de l'ENS Rennes et extérieurs, tous départements confondus. Obligatoire pour les élèves de 1re et 2e année du département Informatique.
De 17h30 à 18h30 en visio-conférence via ce serveur BigBlueButton. Séminaire ouvert à toutes et à tous, élèves et personnel de l'ENS Rennes et extérieurs, tous départements confondus. Obligatoire pour les élèves de 1re et 2e année du département Informatique.
- Thématique(s)
- Formation, Recherche - Valorisation
Mise à jour le 4 novembre 2020