Gestion de groupe partitionnable dans les réseaux mobiles spontanés. (Partitionable group membership in mobile ad hoc networks)

Dans les reseaux mobiles spontanes (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications reparties tolerantes au partitionnement. Aucune des specifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit etre assez forte pour fournir des garanties utiles aux applications reparties dans les systemes partitionnables ; 2) elle doit etre assez faible pour etre resoluble. Dans cette these, nous proposons une solution a la gestion de groupe partitionnable en environnements reseaux tres dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procedons en trois etapes. Tout d'abord, nous proposons un modele de systeme reparti dynamique qui caracterise la stabilite dans les MANETs. Ensuite, nous adaptons pour les systemes partitionnables l'approche Paxos a base de consensus Synod. Cette adaptation resulte en la specification d'un consensus abandonnable AC construit au-dessus d'un detecteur ultime des α participants d'une partition ♢PPD et d'un registre ultime par partition ♢RPP. ♢PPD garantit la vivacite dans une partition meme si la partition n'est pas completement stable tandis que ♢RPP preserve la surete dans la meme partition. Enfin, la gestion de groupe partitionnable est resolue en la transformant en une sequence d'instances de AC. Chacun des modules ♢PPD, ♢RPP, AC et gestion de groupe partitionnable est implante et prouve. Par ailleurs, nous analysons les performances de ♢PPD par simulation

[1]  Rachid Guerraoui,et al.  The Generic Consensus Service , 2001, IEEE Trans. Software Eng..

[2]  Suprio Ray,et al.  Realistic Mobility for Mobile Ad Hoc Network Simulation , 2004, ADHOC-NOW.

[3]  Andras Varga,et al.  Parallel simulation made easy with OMNeT , 2003 .

[4]  Nils Aschenbruck,et al.  Synthetic map-based mobility traces for the performance evaluation in opportunistic networks , 2010, MobiOpp '10.

[5]  André Schiper,et al.  On the Specification of Partitionable Group Membership , 2008, 2008 Seventh European Dependable Computing Conference.

[6]  Sam Toueg,et al.  The weakest failure detector for solving consensus , 1992, PODC '92.

[7]  Baochun Li,et al.  Group mobility and partition prediction in wireless ad-hoc networks , 2002, 2002 IEEE International Conference on Communications. Conference Proceedings. ICC 2002 (Cat. No.02CH37333).

[8]  Mikhail Nesterenko.  On Properties of the Group Membership Problem , 2007 .

[9]  Elmar Gerhards-Padilla,et al.  BonnMotion: a mobility scenario generation and analysis tool , 2010, SimuTools.

[10]  P. De,et al.  TOPICS IN AD HOC AND SENSOR NETWORKS Design Considerations for a Multihop Wireless Network , 2000 .

[11]  Matthias Grossglauser,et al.  On clustering phenomenon in mobile partitioned networks , 2008, MobilityModels '08.

[12]  Massimo Franceschetti,et al.  A Group Membership Algorithm with a Practical Specification , 2001, IEEE Trans. Parallel Distributed Syst..

[13]  Matthias Frank,et al.  Modelling mobility in disaster area scenarios , 2007, MSWiM '07.

[14]  Ulrich Killat,et al.  - The random waypoint city model -: user distribution in a street-based mobility model for wireless network simulations , 2005, WMASH.

[15]  Yair Amir,et al.  Efficient State Transfer in Partitionable Environments , 1997 .

[16]  Valérie Issarny,et al.  Using Group Management to Tame Mobile Ad Hoc Networks , 2004, MOBIS.

[17]  Imdea Networks.  Eventual Leader Election with Weak Assumptions on Initial Knowledge,Communication Reliability,and Synchrony , 2010 .

[18]  Jörg Hähner,et al.  Quantifying Network Partitioning in Mobile Ad Hoc Networks , 2007, 2007 International Conference on Mobile Data Management.

[19]  Afonso Ferreira,et al.  Computing Shortest, Fastest, and Foremost Journeys in Dynamic Networks , 2003, Int. J. Found. Comput. Sci..

[20]  André Schiper,et al.  From set membership to group membership: a separation of concerns , 2006, IEEE Transactions on Dependable and Secure Computing.

[21]  Michel Kadoch,et al.  Multicast Routing Protocols in Mobile Ad Hoc Networks: A Comparative Survey and Taxonomy , 2009, EURASIP J. Wirel. Commun. Netw..

[22]  Guanling Chen,et al.  A Survey of Context-Aware Mobile Computing Research , 2000 .

[23]  Jean-Yves Le Boudec,et al.  The Random Trip Model: Stability, Stationary Regime, and Perfect Simulation , 2006, IEEE/ACM Transactions on Networking.

[24]  Ahmed Helmy,et al.  IMPORTANT: a framework to systematically analyze the Impact of Mobility on Performance of Routing Protocols for Adhoc Networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[25]  Michele Garetto,et al.  Analysis of Random Mobility Models with Partial Differential Equations , 2007, IEEE Transactions on Mobile Computing.

[26]  André Schiper,et al.  Consensus: The Big Misunderstanding , 1997 .

[27]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[28]  Kenneth P. Birman,et al.  Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.

[29]  Marcos K. Aguilera,et al.  Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication , 1997, WDAG.

[30]  Tracy Camp,et al.  Improving the Accuracy of Random Waypoint Simulations Through Steady-State Initialization , 2004 .

[31]  Kyunghan Lee,et al.  On the Levy-Walk Nature of Human Mobility , 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

[32]  P. De Doncker,et al.  High-accuracy physical layer model for wireless network simulations in NS-2 , 2004, International Workshop on Wireless Ad-Hoc Networks, 2004..

[33]  Pan Hui,et al.  Pocket switched networks and human mobility in conference environments , 2005, WDTN '05.

[34]  Gérard Le Lann,et al.  Fast Asynchronous Uniform Consensus in Real-Time Distributed Systems , 2002, IEEE Trans. Computers.

[35]  Esa Hyytiä,et al.  Connectivity Properties of Random Waypoint Mobility Model for Ad Hoc Networks , 2005, Med-Hoc-Net.

[36]  Marcos K. Aguilera,et al.  Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks , 1999, Theor. Comput. Sci..

[37]  Tracy Camp,et al.  MANET simulation studies: the incredibles , 2005, MOCO.

[38]  Louise E. Moser,et al.  An analysis of the optimum node density for ad hoc mobile networks , 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

[39]  David Powell,et al.  A Survey of Dependability Issues in Mobile Wireless Networks , 2003 .

[40]  Pascal Bouvry,et al.  An Overview of MANETs Simulation , 2006, MTCoord@COORDINATION.

[41]  Idit Keidar,et al.  Group communication specifications: a comprehensive study , 2001, CSUR.

[42]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[43]  Zygmunt J. Haas,et al.  Predictive distance-based mobility management for multidimensional PCS networks , 2003, TNET.

[44]  Nancy A. Lynch,et al.  Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services , 2002, SIGA.

[45]  Jean-Yves Le Boudec,et al.  Power Law and Exponential Decay of Intercontact Times between Mobile Devices , 2007, IEEE Transactions on Mobile Computing.

[46]  Stefan Valentin,et al.  Simulating wireless and mobile networks in OMNeT++ the MiXiM vision , 2008, SimuTools.

[47]  Adam Dunkels,et al.  Cross-Level Sensor Network Simulation with COOJA , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[48]  Roberto Baldoni,et al.  Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency , 2010, 2010 European Dependable Computing Conference.

[49]  Pablo Galdámez,et al.  A Stability Criteria Membership Protocol for Ad Hoc Networks , 2009, OTM Conferences.

[50]  Pierre Sens,et al.  A Failure Detector for Wireless Networks with Unknown Membership , 2011, Euro-Par.

[51]  Joanna Tomasik,et al.  A Composite Mobility Model for Ad Hoc Networks in Disaster Areas , 2011 .

[52]  Bernadette Charron-Bost,et al.  On the impossibility of group membership , 1996, PODC '96.

[53]  Marcos K. Aguilera,et al.  Stable Leader Election , 2001, DISC.

[54]  György Pongor.  FLEXIBLE TOPOLOGY DESCRIPTION LANGUAGE FOR SIMULATION PROGRAMS , 2006 .

[55]  Liang Hu,et al.  Heterogeneous Community-Based Mobility Model for Human Opportunistic Network , 2009, 2009 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications.

[56]  Roy Friedman,et al.  Evaluating failure detection in mobile ad-hoc networks , 2009, Int. J. Pervasive Comput. Commun..

[57]  Michel Raynal,et al.  Regular Register: An Implementation in a Churn Prone Environment , 2009, SIROCCO.

[58]  Pietro Manzoni,et al.  ANEJOS: a Java based simulator for ad hoc networks , 2001, Future Gener. Comput. Syst..

[59]  Mingyan Liu,et al.  Random waypoint considered harmful , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[60]  Mineo Takai,et al.  Parssec: A Parallel Simulation Environment for Complex Systems , 1998, Computer.

[61]  Tracy Camp,et al.  Stationary distributions for the random waypoint mobility model , 2004, IEEE Transactions on Mobile Computing.

[62]  Hannes Hartenstein,et al.  Stochastic Properties of the Random Waypoint Mobility Model , 2004, Wirel. Networks.

[63]  Pierre Sens,et al.  Failure, Disconnection and Partition Detection in Mobile Environment , 2008, 2008 Seventh IEEE International Symposium on Network Computing and Applications.

[64]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[65]  Achour Mostéfaoui,et al.  From static distributed systems to dynamic systems , 2005, 24th IEEE Symposium on Reliable Distributed Systems (SRDS'05).

[66]  Hannes Hartenstein,et al.  Toward a mobility metric for comparable & reproducible results in ad hoc networks research , 2003, MOCO.

[67]  Kaixin Xu,et al.  Group and swarm mobility models for ad hoc network scenarios using virtual tracks , 2004, IEEE MILCOM 2004. Military Communications Conference, 2004..

[68]  Prem Dassanayake,et al.  User Mobility Modeling and Characterization of Mobility Patterns , 1997, IEEE J. Sel. Areas Commun..

[69]  Allen B. MacKenzie,et al.  Characterizing mobile ad hoc networks -: the maniac challenge experiment , 2008, WiNTECH '08.

[70]  Leslie Lamport,et al.  Cheap Paxos , 2004, International Conference on Dependable Systems and Networks, 2004.

[71]  Alberto Montresor,et al.  Group Communication in Partitionable Systems: Specification and Algorithms , 2001, IEEE Trans. Software Eng..

[72]  Anne-Marie Kermarrec,et al.  Implementing a Register in a Dynamic Distributed System , 2009, 2009 29th IEEE International Conference on Distributed Computing Systems.

[73]  Jörg Hähner,et al.  Graph-based mobility model for mobile ad hoc network simulation , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[74]  André Schiper,et al.  Consensus with Unknown Participants or Fundamental Self-Organization , 2004, ADHOC-NOW.

[75]  Christophe Diot,et al.  Impact of Human Mobility on Opportunistic Forwarding Algorithms , 2007, IEEE Transactions on Mobile Computing.

[76]  Gruia-Catalin Roman,et al.  Consistent group membership in ad hoc networks , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[77]  Sébastien Tixeuil,et al.  Knowledge Connectivity vs. Synchrony Requirements for Fault-Tolerant Agreement in Unknown Networks , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[78]  Deborah Estrin,et al.  Effects of Detail in Wireless Network Simulation , 2001 .

[79]  Srikanth Sastry,et al.  Eventually Perfect Failure Detectors Using ADD Channels , 2007, ISPA.

[80]  Rachid Guerraoui,et al.  Introduction to reliable distributed programming , 2006 .

[81]  Bruce Lowekamp,et al.  A structured group mobility model for the simulation of mobile ad hoc networks , 2004, MobiWac '04.

[82]  Indranil Gupta,et al.  Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols , 2008, 2008 Symposium on Reliable Distributed Systems.

[83]  Marcos K. Aguilera,et al.  On implementing omega with weak reliability and synchrony assumptions , 2003, PODC '03.

[84]  Valérie Issarny,et al.  Maximal Group Membership in Ad Hoc Networks , 2005, PPAM.

[85]  Marcos K. Aguilera,et al.  Communication-efficient leader election and consensus with limited link synchrony , 2004, PODC '04.

[86]  Günter Hommel,et al.  Localized group membership service for ad hoc networks , 2002, Proceedings. International Conference on Parallel Processing Workshop.

[87]  Emmanuelle Anceaume,et al.  On the Formal Specification of Group Membership Services , 1994 .

[88]  Paolo Santi,et al.  The Node Distribution of the Random Waypoint Mobility Model for Wireless Ad Hoc Networks , 2003, IEEE Trans. Mob. Comput..

[89]  Danny Dolev,et al.  On the minimal synchronism needed for distributed consensus , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[90]  Ryoichi Shinkuma,et al.  Designing Mobility Models Based on Relational Graph , 2014, IEICE Trans. Inf. Syst..

[91]  Nancy A. Lynch,et al.  Consensus in the presence of partial synchrony , 1988, JACM.

[92]  Tracy Camp,et al.  A survey of mobility models for ad hoc network research , 2002, Wirel. Commun. Mob. Comput..

[93]  Xiaoyan Hong,et al.  A group mobility model for ad hoc wireless networks , 1999, MSWiM '99.

[94]  Alberto Montresor,et al.  System support for partition-aware network applications , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[95]  Miroslaw Malek,et al.  Prediction of Partitioning in Location-Aware Mobile Ad Hoc Networks , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[96]  Tristan Henderson,et al.  CRAWDAD: a community resource for archiving wireless data at Dartmouth , 2005, CCRV.

[97]  Amotz Bar-Noy,et al.  Mobile users: To update or not to update? , 1994, Proceedings of INFOCOM '94 Conference on Computer Communications.

[98]  Cauligi S. Raghavendra,et al.  Performance analysis of mobility-assisted routing , 2006, MobiHoc '06.

[99]  Nancy A. Lynch,et al.  Impossibility of distributed consensus with one faulty process , 1983, PODS '83.

[100]  Michael Merritt,et al.  Computing with Infinitely Many Processes under assumptions on concurrency and participation , 2000 .

[101]  Ting Wang,et al.  An Efficient Group Partition Prediction Scheme for MANETs , 2009, 2009 IEEE Wireless Communications and Networking Conference.

[102]  Chita R. Das,et al.  Clustered Mobility Model for Scale-Free Wireless Networks , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[103]  Stavros Kotsopoulos,et al.  Simulating mission critical mobile ad hoc networks , 2009, PM2HW2N '09.

[104]  Marcos K. Aguilera,et al.  On Quiescent Reliable Communication , 2000, SIAM J. Comput..

[105]  Mario Gerla,et al.  GloMoSim: a library for parallel simulation of large-scale wireless networks , 1998 .