IEEE 802.11n vs. IEEE 802.15.4: a study on Communication QoS to provide Safe FANETs

Emerson A Marconato (1) , Daniel F Pigatto (1) , Kalinka R L J Castelo Branco (1) , Jean-Aimé Maxa (2) , Nicolas Larrieu (3) , Alex S R Pinto (4)

1 USP - Universidade de São Paulo = University of São Paulo
2 TELECOM-RESCO
3 TELECOM - ENAC - Equipe télécommunications
4 Federal University of Santa Catarina

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.

Mots clés: Dynamic routing safety; Flying ad hoc networks; Unmanned Aerial Vehicle; safety validation

Domaines: Réseaux et télécommunications [cs.NI]

Emerson A Marconato, Daniel F Pigatto, Kalinka R L J Castelo Branco, Jean-Aimé Maxa, Nicolas Larrieu, et al.. IEEE 802.11n vs. IEEE 802.15.4: a study on Communication QoS to provide Safe FANETs. 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016) , IEEE; IFIP, Jun 2016, Toulouse, France. ⟨hal-01318385v2⟩