Browse > Article
http://dx.doi.org/10.5762/KAIS.2010.11.11.4543

Leader Decision Protocol for Dynamic Changing Topology in Mobile Ad hoc Networks  

Kim, Young-Lan (Dept. of Computer Science & Engineering, Hankuk University of Foreign Studies)
Han, Hyun-Goo (Dept. of Computer Science & Engineering, Hankuk University of Foreign Studies)
Park, Sung-Hoon (Dept. of Computer Engineering, Chungbuk National Univiversity)
Publication Information
Journal of the Korea Academia-Industrial cooperation Society / v.11, no.11, 2010 , pp. 4543-4552 More about this Journal
Abstract
A leader is a special process who roles as the coordinator within multiple processes of a group. In a distributed system, leader election is the procedure of electing a coordinator. This is a very important issue for building fault-tolerant distributed systems. When two normal mobile ad hoc networks are merged, there are two leaders. This violates the safety property, so a mechanism to detect and handle are required. In mobile ad hoc distributed computing system, we propose a leader competition protocol and to prove the temporal logic to it. This solution is based on the group membership detection algorithm.
Keywords
Group Membership Detection; Leader Election; Mobile Ad hoc Network; Network Group Merge;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 S. Vasudevan, et..al., "Design and Analysis of a Leader Election Algorithm for Mobile Ad hoc Networks," Proceeding of the IEEE 12th International Conference on Network Procotols, pp.350-360, 2004.   DOI
2 Zohar Manna and Amir Puneli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, 1995.
3 Edward Chang, Zohar Manna, Amir Puneli, "The Safety-Progress Classification," In Logic, Algebra and Computation, NATO ASI Series, Subseries F: Computer and System Sciences, Springer-Verlag, 1992.
4 Orhan Dagdeviren, Kayhan Erciyes, "A Hierarchical Leader Election Protocol for Mobile Ad hoc Networks," Proceeding of the 8th International Conference on Computational Science, 2008.
5 김영란, et al., "모바일 ad hoc 네트워크 시스템하에서 선출 알고리즘의 명세 및 증명," 멀티미디어학회논문지 제13권 제7호, pp.950-959, 2010.   과학기술학회마을
6 Zygmunt J. Haas, et. al., Wireless Ad Hoc Networks, Perkins, Charlies Ed., AD HOC NETWORKING, pp. 221-225, Addison Wesley, 2001.
7 David Powell, guest editor, "Special section on group communication," Communications of the ACM, Vol.39, No. 4, pp.50-97, April 1996.   DOI   ScienceOn
8 Vijay K. Garg, Elements of Distributed Computing, Wiley Interscience, 2002.