UAV Ad hoc NETworks (UAANET) are a new form of ad hoc networks in which nodes are Unmanned Aerial Vehicles (UAVs) and Ground Control Station (GCS). Although this field generated a certain interest in the scientific community, it has only received a modest contribution. Compared to Mobile Ad hoc NETworks (MANET), this new network paradigm has some unique features and brings specific challenges such as node mobility degree, network connectivity patterns, delay-sensitive applications and network security. Indeed, some UAV communication architectures have been proposed, but none of them has been designed with security in mind. This lack of scientific investigation can make the certification of UAANETs difficult to obtain. In this paper, we present our vision of such a challenge and the research that we are conducting to reach this objective. The aim is to propose an original secure routing protocol for UAVs using a MDD (Model Driven Development) approach which will ease the certification of final UAV products. The first preliminary results concerning our secure-routing protocol design will be presented. This paper describes our ongoing research which will provide secure communications for UAV ad hoc networks at the end of the SUANET (Secure Uav Ad-hoc NETwork) project. Index Terms-UAV Ad hoc NETwork (UAANET), Security Architecture, Model Driven Development, Routing Protocol. 1 UAVs used in UAANETs are deployed in untrustworthy environments in which external attacks can occur due to the absence of fixed infrastructure 2 DGAC: Direction Générale de l Aviation Civile which is equivalent to FAA (Federal Aviation Administration) but at a French scale.
Flying Ad hoc Network (FANET) is an infrastructure-less multi-hop radio ad hoc network in which Unmanned Aerial Vehicles (UAVs) and Ground Control Station (GCS) collaborates to forward data traffic. Compared to the standard Mobile Ad hoc NETworks (MANETs), the FANET architecture has some specific features (3D mobility, low UAV density, intermittent network connectivity) that bring challenges to the communication protocol design. Such routing protocol must provide safety by finding an accurate and reliable route between UAVs. This safety can be obtained through the use of agile method during software based routing protocol development (for instance the use of Model Driven Development) by mapping each FANET safety requirement into the routing design process. This process must be completed with a sequential safety validation testing with formal verification tools, standardized simulator (by using real simulation environment) and real-world experiments. In this paper, we considered FANET communication safety by presenting design methodologies and evaluations of FANET routing protocols. We use the LARISSA architecture to guarantee the efficiency and accuracy of the whole system. We also use the model driven development methodology to provide model and code consistency through the use of formal verification tools. To complete the FANET safety validation, OMNeT++ simulations (using real UAVs mobility traces) and real FANET outdoor experiments have been carried out. We confront both results to evaluate routing protocol performances and conclude about its safety consideration.
UAV Ad hoc NETworks (UAANET) are a new form of ad hoc networks in which nodes are Unmanned Aerial Vehicles (UAVs) and Ground Control Station (GCS). Although this field generated a certain interest in the scientific community, it has only received a modest contribution. Compared to Mobile Ad hoc NETworks (MANET), this new network paradigm has some unique features and brings specific challenges such as node mobility degree, network connectivity patterns, delay-sensitive applications and network security. Indeed, some UAV communication architectures have been proposed, but none of them has been designed with security in mind. This lack of scientific investigation can make the certification of UAANETs difficult to obtain. In this paper, we present our vision of such a challenge and the research that we are conducting to reach this objective. The aim is to propose an original secure routing protocol for UAVs using a MDD (Model Driven Development) approach which will ease the certification of final UAV products. The first preliminary results concerning our secure-routing protocol design will be presented. This paper describes our ongoing research which will provide secure communications for UAV ad hoc networks at the end of the SUANET (Secure Uav Ad-hoc NETwork) project. Index Terms-UAV Ad hoc NETwork (UAANET), Security Architecture, Model Driven Development, Routing Protocol. 1 UAVs used in UAANETs are deployed in untrustworthy environments in which external attacks can occur due to the absence of fixed infrastructure 2 DGAC: Direction Générale de l Aviation Civile which is equivalent to FAA (Federal Aviation Administration) but at a French scale.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.