Joint model-driven design and real experiment-based validation for a secure UAV ad hoc network routing protocol

Abstract : UAV Ad hoc Network (UAANET) is a wireless ad hoc network composed of Unmanned Aerial Vehicles (UAVs) and Ground Control Station (GCS). Compared to the standard Mobile Ad hoc NETworks (MANETs), the UAANET architecture has some specific features that brings exciting challenges to communication architecture design. One of them is the design challenge of a UAANET routing protocols. It must find an accurate and reliable route between nodes in a timely manner to exchange data traffics. It must also be secured to preserve efficiency in the presence of malicious attackers and provides data integrity and authentication. Furthermore, UAANETs must be certified in the near future to act as autonomous systems without a dedicated safety pilot and to be authorized to fly in the national airspace. In such a context, in this paper, we contribute to the certification of the secure UAANET communication system software using a Model-Driven Development (MDD) approach and real experiments based validation. The validation process followed uses sequentially formal verification methods and real-world experimental results. The objective is to evaluate the routing protocol efficiency to a set of unexpected hazardous issues that come with the real environment.
Type de document :
Communication dans un congrès
ICNS 2016, 2016 Integrated Communications Navigation and Surveillance Conference , Apr 2016, Herndon, United States. pp 1E2-1 - 1E2-16 /, 2016 Integrated Communications Navigation and Surveillance (ICNS) 〈10.1109/ICNSURV.2016.7486324〉
Liste complète des métadonnées

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

https://hal-enac.archives-ouvertes.fr/hal-01292300
Contributeur : Laurence Porte <>
Soumis le : mardi 22 mars 2016 - 18:04:38
Dernière modification le : mardi 30 janvier 2018 - 18:22:03
Document(s) archivé(s) le : lundi 14 novembre 2016 - 01:57:02

Fichier

107maxa-2-1.pdf
Fichiers produits par l'(les) auteur(s)

Date de la conférence

Identifiants

Collections

Citation

Jean-Aimé Maxa, Mohamed-Slim Ben Mahmoud, Nicolas Larrieu. Joint model-driven design and real experiment-based validation for a secure UAV ad hoc network routing protocol . ICNS 2016, 2016 Integrated Communications Navigation and Surveillance Conference , Apr 2016, Herndon, United States. pp 1E2-1 - 1E2-16 /, 2016 Integrated Communications Navigation and Surveillance (ICNS) 〈10.1109/ICNSURV.2016.7486324〉. 〈hal-01292300〉

Partager

Métriques

Consultations de la notice

240

Téléchargements de fichiers

293