Jean-Pierre Talpin

Date: 13:00, Friday, June 30, 2017
Speaker: Jean-Pierre Talpin
Venue: TU Wien

Seminarraum Zemanek, Favoritenstraße 9-11


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.

Posted in RiSE Seminar