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.