Conception et évaluation de protocole de routage ad hoc

Ce chapitre constitue une introduction générale au livre. Il retrace l'évolution des technologies de communications ainsi que les enjeux autour de leur application aux systèmes de transport intelligents, et dans le contexte routier en particulier. Tous les aspects impliqués dans la conception des protocoles de communications sont abordés, notamment le trafic, les technologies de communications, les applications et la sécurité.

Ce chapitre décrit l'approche fonctionnelle de conception de protocole en s'appuyant sur une étude de cas dans le but d'analyser et d'illustrer les méthodes de conception à partir des besoins fonctionnels et d'évaluation de performance suivies dans cette approche. Les étapes de conceptions et d'évaluations sont décrites et justifiées, accompagnées de références afin que le lecteur puisse enrichir sa documentation.

Ce chapitre présente des modèles et des outils de simulation pour l’analyse de performance du protocole. Les facteurs affectant les communications tels que la mobilité, les phénomènes de propagation, les technologies de communications, ainsi que les métriques utilisées pour l'analyse de performance sont expliquées. Les modèles ainsi que leur implémentation dans différents outils de simulation sont illustrés de manière détaillée.

Ce chapitre propose des évaluations du protocole d’une étude de cas sur ses performances intrinsèques, puis par comparaison avec d'autres protocoles représentant les principales approches dans les réseaux ad hoc. Le lecteur y trouvera une analyse de performances des protocoles pour des applications coopératives et la description des étapes de leur implémentation dans les simulateurs ainsi que les résultats des comparaisons.

Ce chapitre propose une alternative basée sur la modélisation formelle pour concevoir et évaluer le protocole en ne focalisant plus sur sa performance, mais plutôt sur ses propriétés intrinsèques, notamment afin de montrer les garanties qu'il apporte sous des hypothèses identifiées. Le protocole de l'étude de cas est analysé avec la méthode Event-B, ainsi que chaque étape de sa vérification.

Ce chapitre répertorie les perspectives ouvertes autour de l'idée d'une infrastructure mutualisée de réseaux de communications pour le futur système de transport terrestre qui intégrerait la route et le rail. L'intégration des communications véhicule-à-véhicule comme mode de communication dans la 5G est analysée dans ses conséquences sur les méthodes de conception et d'évaluation des protocoles de routage ad hoc.