Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Model Driven Approach to design a Secure Routing Protocol for UAV Ad Hoc Networks

Jean-Aimé Maxa 1 
1 TELECOM-RESCO
TELECOM - ENAC - Equipe télécommunications
Abstract : UAANET (UAV Ad Hoc Network) is a wireless network that is able to organize itself without a pre-existing infrastructure. It consists of forming an ad hoc network with multiple UAVs and the Ground Control Station (GCS). In order to route data packets between nodes, a routing protocol is required. This routing protocol must not only satisfy the UAANET network requirements but also the validation requirements with a formal method to verify the routing protocol conformance. This will eventually contribute to the certification of the UAANET communication network (e.g to be compatible with the specification document DO 178C). In this paper, we propose a validation model of a secure routing ad hoc protocol for UAANET based on the well known AODV algorithm. The MDD (Model Driven Development) approach is used and provides a formal specification capabilities to ensure reusability, modularity, and conformance of the AODV implementation.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-01166854
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : mardi 23 juillet 2019 - 14:32:54
Dernière modification le : mardi 19 octobre 2021 - 11:02:56

Fichier

papier_edsys.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01166854, version 1

Collections

Citation

Jean-Aimé Maxa. Model Driven Approach to design a Secure Routing Protocol for UAV Ad Hoc Networks. EDSYS 2015, 15ème Congrès des doctorants, EDSYS, May 2015, Toulouse, France. ⟨hal-01166854⟩

Partager

Métriques

Consultations de la notice

239

Téléchargements de fichiers

479