An eventual α partition-participant detector for MANETs

Léon Lim; Denis Conan

doi:10.1109/EDCC.2012.15

An eventual α partition-participant detector for MANETs

Léon Lim
, Denis Conan

CNRS UMR 5157 SAMOVAR

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

With Mobile Ad hoc Networks (MANETs), communication between mobile users is possible without any infrastructure. MANETs are already a necessary part of wireless systems. Due to arbitrary node arrivals, departures, crashes and movements, network partitioning may arise resulting in a degradation of the service, but not necessarily in its interruption. In this paper, we propose a distributed system model for partition able systems. We then specify and implement a partition-participant detector that captures the live ness of a partition even if the partition is not completely stable. Its role is to detect the minimal stability condition to guarantee that eventually all the stable processes in an alpha-Set elect the same leader.

Original language	English
Title of host publication	Proceedings - 9th European Dependable Computing Conference, EDCC 2012
Pages	25-36
Number of pages	12
DOIs	https://doi.org/10.1109/EDCC.2012.15
Publication status	Published - 30 Jul 2012
Event	9th European Dependable Computing Conference, EDCC 2012 - Sibiu, Romania Duration: 8 May 2012 → 11 May 2012

Publication series

Name	Proceedings - 9th European Dependable Computing Conference, EDCC 2012

Conference

Conference	9th European Dependable Computing Conference, EDCC 2012
Country/Territory	Romania
City	Sibiu
Period	8/05/12 → 11/05/12

Keywords

MANETs
models for dynamic partitionable systems
partition-participant detector
partitions
stability condition

Access to Document

10.1109/EDCC.2012.15

Cite this

@inproceedings{d3f93c07cec5454e9d9cb3abba05f130,

title = "An eventual α partition-participant detector for MANETs",

abstract = "With Mobile Ad hoc Networks (MANETs), communication between mobile users is possible without any infrastructure. MANETs are already a necessary part of wireless systems. Due to arbitrary node arrivals, departures, crashes and movements, network partitioning may arise resulting in a degradation of the service, but not necessarily in its interruption. In this paper, we propose a distributed system model for partition able systems. We then specify and implement a partition-participant detector that captures the live ness of a partition even if the partition is not completely stable. Its role is to detect the minimal stability condition to guarantee that eventually all the stable processes in an alpha-Set elect the same leader.",

keywords = "MANETs, models for dynamic partitionable systems, partition-participant detector, partitions, stability condition",

author = "L{\'e}on Lim and Denis Conan",

year = "2012",

month = jul,

day = "30",

doi = "10.1109/EDCC.2012.15",

language = "English",

isbn = "9780769546711",

series = "Proceedings - 9th European Dependable Computing Conference, EDCC 2012",

pages = "25--36",

booktitle = "Proceedings - 9th European Dependable Computing Conference, EDCC 2012",

note = "9th European Dependable Computing Conference, EDCC 2012 ; Conference date: 08-05-2012 Through 11-05-2012",

}

TY - GEN

T1 - An eventual α partition-participant detector for MANETs

AU - Lim, Léon

AU - Conan, Denis

PY - 2012/7/30

Y1 - 2012/7/30

N2 - With Mobile Ad hoc Networks (MANETs), communication between mobile users is possible without any infrastructure. MANETs are already a necessary part of wireless systems. Due to arbitrary node arrivals, departures, crashes and movements, network partitioning may arise resulting in a degradation of the service, but not necessarily in its interruption. In this paper, we propose a distributed system model for partition able systems. We then specify and implement a partition-participant detector that captures the live ness of a partition even if the partition is not completely stable. Its role is to detect the minimal stability condition to guarantee that eventually all the stable processes in an alpha-Set elect the same leader.

AB - With Mobile Ad hoc Networks (MANETs), communication between mobile users is possible without any infrastructure. MANETs are already a necessary part of wireless systems. Due to arbitrary node arrivals, departures, crashes and movements, network partitioning may arise resulting in a degradation of the service, but not necessarily in its interruption. In this paper, we propose a distributed system model for partition able systems. We then specify and implement a partition-participant detector that captures the live ness of a partition even if the partition is not completely stable. Its role is to detect the minimal stability condition to guarantee that eventually all the stable processes in an alpha-Set elect the same leader.

KW - MANETs

KW - models for dynamic partitionable systems

KW - partition-participant detector

KW - partitions

KW - stability condition

UR - https://www.scopus.com/pages/publications/84864205666

U2 - 10.1109/EDCC.2012.15

DO - 10.1109/EDCC.2012.15

M3 - Conference contribution

AN - SCOPUS:84864205666

SN - 9780769546711

T3 - Proceedings - 9th European Dependable Computing Conference, EDCC 2012

SP - 25

EP - 36

BT - Proceedings - 9th European Dependable Computing Conference, EDCC 2012

T2 - 9th European Dependable Computing Conference, EDCC 2012

Y2 - 8 May 2012 through 11 May 2012

ER -

An eventual α partition-participant detector for MANETs

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this