Cost-Optimization of the IPv4 Zeroconf Protocol

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2003, Pages 531-540

  Bohnenkamp, Henrik ^a   Van der Stok, Peter ^b   Hermanns, Holger ^c   Vaandrager, Frits ^d  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b PHILIPS RESEARCH LABORATORIES   (Netherlands)

^c SAARLAND UNIVERSITY   (Germany)

^d RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CONSUMER ELECTRONICS MANUFACTURERS; MAXIMAL RELIABILITY;

BROADCASTING; COST EFFECTIVENESS; INTERFACES (COMPUTER); PARAMETER ESTIMATION; PROBABILITY; RELIABILITY; TELECOMMUNICATION LINKS;

NETWORK PROTOCOLS;

EID: 1542330110     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2003.1209963     Document Type: Conference Paper

References (7)

1. G. Behrmann, A. David, K. G. Larsen, O. Möller, P. Pettersson, and W. Yi. UPPAAL - present and future. In Proc. of 40th IEEE Conference on Decision and Control. IEEE Computer Society Press, 2001.
2. S. Cheshire, B. Adoba, and E. Guttman. Dynamic configuration of IPv4 link-local addresses. http://www.ietf.org/internet-drafts/draft-ietf-zeroconf-ipv4-linklocal07.txt, August 2002. DRAFT.
3. V. G. Kulkarni. Modeling and Analysis of Stochastic Systems. Chapman & Hall, London, Glasgow, Weinheim, 1995.
4. P. Pettersson and K. G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, Feb. 2000.
5. D. C. Plummer. An ethernet address resolution protocol, November 1982. Internet Standard 37, RFC 826.
6. W. J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton University Press, 1994.
7. M. Zhang and F. Vaandrager. Analysis of a protocol for dynamic configuration of IPv4 link local addresses using Uppaal. Report NIII-R03XX, Nijmeegs Instituut voor Informatica en Informatiekunde, University of Nijmegen, 2003. To appear.