A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation
<p/> <p>The main objective of congestion control is to best exploit the available network resources while preventing sustained overloads of network nodes and links. Appropriate congestion control mechanisms are essential to provide effcient operation of a network. Ensuring congestion con...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
SpringerOpen
2010-01-01
|
Series: | EURASIP Journal on Wireless Communications and Networking |
Online Access: | http://jwcn.eurasipjournals.com/content/2010/712525 |
id |
doaj-acf7a70ee7a84300aa0f26bfda4251e2 |
---|---|
record_format |
Article |
spelling |
doaj-acf7a70ee7a84300aa0f26bfda4251e22020-11-24T20:53:39ZengSpringerOpenEURASIP Journal on Wireless Communications and Networking1687-14721687-14992010-01-0120101712525A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance EvaluationBouassida MohamedSalahShawky M<p/> <p>The main objective of congestion control is to best exploit the available network resources while preventing sustained overloads of network nodes and links. Appropriate congestion control mechanisms are essential to provide effcient operation of a network. Ensuring congestion control within vehicular ad hoc networks faces special challenges, due to the specificities of such environment (High mobility of nodes, high rate of topology changes, high variability in nodes density and neighborhood configuration, broadcast/geocast communication nature, etc.). In this context, we present in this paper a cooperative and fully distributed congestion control approach, based on dynamic scheduling and transmission of priority-based messages, to ensure reliable and safe communication architecture within VANET. Messages priorities are dynamically evaluated according to their types, the network context, and the neighboring nodes configuration. Considering the context of high reliability and real-time response required for intervehicular communications (including emergency breaking notification for example), we propose a complete validation method of our congestion control algorithms, taking into account reliability, temporal, and operational aspects.</p>http://jwcn.eurasipjournals.com/content/2010/712525 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Bouassida MohamedSalah Shawky M |
spellingShingle |
Bouassida MohamedSalah Shawky M A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation EURASIP Journal on Wireless Communications and Networking |
author_facet |
Bouassida MohamedSalah Shawky M |
author_sort |
Bouassida MohamedSalah |
title |
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation |
title_short |
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation |
title_full |
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation |
title_fullStr |
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation |
title_full_unstemmed |
A Cooperative Congestion Control Approach within VANETs: Formal Verification and Performance Evaluation |
title_sort |
cooperative congestion control approach within vanets: formal verification and performance evaluation |
publisher |
SpringerOpen |
series |
EURASIP Journal on Wireless Communications and Networking |
issn |
1687-1472 1687-1499 |
publishDate |
2010-01-01 |
description |
<p/> <p>The main objective of congestion control is to best exploit the available network resources while preventing sustained overloads of network nodes and links. Appropriate congestion control mechanisms are essential to provide effcient operation of a network. Ensuring congestion control within vehicular ad hoc networks faces special challenges, due to the specificities of such environment (High mobility of nodes, high rate of topology changes, high variability in nodes density and neighborhood configuration, broadcast/geocast communication nature, etc.). In this context, we present in this paper a cooperative and fully distributed congestion control approach, based on dynamic scheduling and transmission of priority-based messages, to ensure reliable and safe communication architecture within VANET. Messages priorities are dynamically evaluated according to their types, the network context, and the neighboring nodes configuration. Considering the context of high reliability and real-time response required for intervehicular communications (including emergency breaking notification for example), we propose a complete validation method of our congestion control algorithms, taking into account reliability, temporal, and operational aspects.</p> |
url |
http://jwcn.eurasipjournals.com/content/2010/712525 |
work_keys_str_mv |
AT bouassidamohamedsalah acooperativecongestioncontrolapproachwithinvanetsformalverificationandperformanceevaluation AT shawkym acooperativecongestioncontrolapproachwithinvanetsformalverificationandperformanceevaluation AT bouassidamohamedsalah cooperativecongestioncontrolapproachwithinvanetsformalverificationandperformanceevaluation AT shawkym cooperativecongestioncontrolapproachwithinvanetsformalverificationandperformanceevaluation |
_version_ |
1716796634416807936 |