Are you still there? - A lightweight algorithm to monitor node presence in self-configuring networks

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2005, Pages 704-709

  Bohnenkamp, Henrik ^a   Gorter, Johan ^a   Guidi, Jarao ^b   Katoen, Joost Pieter ^a,c  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b PHILIPS RESEARCH LABORATORIES   (Netherlands)

^c RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Discrete event simulation; Distributed algorithms; Formal specification; Performability evaluation; Plug and play networks; Self configuring networks

Indexed keywords

DISCRETE-EVENT SIMULATION; DISTRIBUTED ALGORITHMS; FORMAL SPECIFICATION; LIGHTWEIGTH ALGORITHMS; PERFORMABILITY EVALUATION; PLUG-AND-PLAY NETWORKS; SELF-CONFIGURING NETWORKS;

COMPUTER NETWORKS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; MOBILE TELECOMMUNICATION SYSTEMS; PROBLEM SOLVING; SPECIFICATIONS; STANDARDS; TOPOLOGY;

ALGORITHMS;

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

References (11)

1. M. Bodlaender, J. Guidi and L. Heerink. Enhancing discovery with liveness. In: IEEE Consumer Comm. and Netw. Conf., IEEE CS Press, 2004.
2. H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, V. Lam and W.H. Sanders. On integrating the Möbius and MODEST modeling tools. DSN '03, pp. 671-672, 2003, IEEE CS Press.
3. H. Bohnenkamp, P.R. D'Argenio, H. Hermanns, and J.-P. Katoen. MODEST: A compositional modeling formalism for real-time and stochastic systems. CTIT Tech. Rep. 04-46, 2004.
4. H. Bohnenkamp, H. Hermanns, J. Klaren, A. Mader, and Y. Usenko. Synthesis and stochastic assessment of schedules for lacquer production. In QEST 2004, pages 28-37. IEEE CS Press, Sep 2004.
5. D. Cavin, Y. Sasson, and A. Schiper. On the accuracy of MANET simulators. In ACM Work. Princ. Mobile Comp., pp. 38-43, 2002.
6. G. Chockler, I. Keidar, and R. Vitenberg. Group communication specifications: A comprehensive study. ACM Comput. Surv, vol 33(4): pp. 427-469, 2001.
7. P.R. D'Argenio, H. Hermanns, J.-P. Katoen and J. Klaren. MODEST: A modelling language for stochastic timed systems. In: PAPM '01, LNCS 2165: 87-104, 2001.
8. P.R. D'Argenio, J.-P. Katoen, T.C. Ruys and G. Tretmans. The bounded retransmission protocol must be on time! In TACAS '97, LNCS 1217: 416-431, 1997.
9. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derasavi, J. Doyle, W.H. Sanders and P. Webster. The MÖBIUS frame-work and its implementation. IEEE Tr. on Softw. Eng., 28(10):956-970, 2002.
10. http://wwwhome.cs.utwente.nl/~bohnenka/liveness-model.tar-gz
11. M. Jelasity, W. Kowalczyk and M. van Steen. Newscast computing. Tech. Rep. IR-CS-006, Vrije Univ. Amsterdam, 2003.