The wireless communication has played a significant impact on our daily lives introducing simplicity and making life more comfortable. As a result of faster technological advances in electronics and communications, the development of different types of unmanned aerial vehicles (UAVs) has become possible. Recently, many efforts have been made to develop more efficient inter-and intra-vehicle communication protocols introducing new challenges, e. g. multiple-UAV communication and Flying Ad Hoc Networks (FANETs). However, most of the experiments using real prototypes or systems are not feasible due to the costs and risks involved. Thus, simulating network protocol behavior in FANET scenarios is increasingly required to evaluate the applicability of developed network protocols. Thereby, we have been developing AVENS, a hybrid aerial network simulation framework, which merges LARISSA Architectural Model, X-Plane Flight Simulator and OMNeT++ Discrete Event Simulator. In a proof-of-concept study, we highlighted its advantages. Using AVENS, we can advance in the state-of-the-art concerning performance evaluation of intelligent aerial vehicles and provide means to evaluate the development of protocols, codes and systems more accurately.

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.

The use of unmanned aerial vehicles (UAVs) has been growing not only in military applications, but also in civilian. UAVs have enormous potential for use, which mostly still are unexplored. For the use of UAVs in the airspace, not only Brazilian new studies on methods of analysis and technologies should be incorporated into navigation systems, control among others, promoting security mechanisms for these aircraft. Implement security mechanisms using a platform with operating systems and botnet to simulate such attack Distributed Denial of Service (DDoS) in UAVs is an important task when it is aimed at containment and mitigation of attacks on this type of platform.