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...

Full description

Bibliographic Details
Main Authors: Bouassida MohamedSalah, Shawky M
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