FMT - UT


ITA - KUN


Philips


Progress

Analysis and optimisation of the IPv4 zeroconf protocol

This case study was initiated by the home networking group of Philips Research. The study is about the IPv4 Zeroconf protocol, proposed by Cheshire/Adoba/Guttman in 2002, dedicated to the self-configuration of IP network interfaces. The task was to investigate the trade-off between reliability and effectiveness of this protocol. The problem was tackled from different directions:

  • The group in Twente developed a simple stochastic cost model of the protocol, where reliability is measured in terms of the probability to avoid an address collision after configuration, while effectiveness is viewed as the average penalty perceived by a user. The solution method was optimisation of several protocol parameters on minimal cost. [39, 21]
  • The group in Nijmegen developed an UPPAAL model of the protocol in order to analyze the functional correctness and the real-time behaviour of the protocol. [53]



Henrik Bohnenkamp 2004-05-06