A. Ilah-alshabtat, L. Dong, F. Li, and . Yang, Low latency routing algorithm for unmanned aerial vehicles ad-hoc networks, International Journal of Electrical and Computer Engineering, vol.6, issue.1, pp.48-54, 2010.

A. Bauer, Realtime capabilities of low-end powerpc and arm boards for embedded systems, Real-Time Linux Workshop, 2007.

I. Bekmezci, ?. Ozgur-koray-sahingoz, and . Temel, Flying ad-hoc networks (fanets): a survey, Ad Hoc Networks, vol.11, issue.3, pp.1254-1270, 2013.

S. Eichler and C. Roman, Challenges of secure routing in manets: A simulative approach using aodv-sec, Mobile Adhoc and Sensor Systems (MASS), 2006 IEEE International Conference on, pp.481-484, 2006.

R. E. Hope-forsmann, J. Hiromoto, and . Svoboda, A time-slotted on-demand routing protocol for mobile ad hoc unmanned vehicle systems, Defense and Security Symposium, pages 65611P-65611P. International Society for Optics and Photonics, 2007.

A. Ayman, . Hanafy, M. A. Sherif-hazem-noureldin, and . Azer, Immunizing the saodv protocol against routing information disclosure, ternet Technology and Secured Transactions, pp.330-334, 2011.

Y. Hu, A. Perrig, and D. , Packet leashes: a defense against wormhole attacks in wireless networks, INFOCOM 2003. TwentySecond Annual Joint Conference of the IEEE Computer and Communications, vol.3, pp.1976-1986, 2003.

Y. Hu, A. Perrig, and D. , Wormhole attacks in wireless networks. Selected Areas in Communications, IEEE Journal on, vol.24, issue.2, pp.370-380, 2006.

N. Larrieu, How can model driven development approaches improve the certification process for uas?, Unmanned Aircraft Systems (ICUAS), 2014 International Conference on, pp.253-260, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00977096

N. Larrieu and A. Varet, Methodology for rapid prototyping avionic software. Rapid Prototyping of Software for Avionics Systems, pp.23-60

J. Li, X. C. Liu, Y. Feng-pang, and W. W. Zhu, A novel dsr-based protocol for small reconnaissance uav ad hoc network, In Applied Mechanics and Materials, vol.568, pp.1272-1277, 2014.

L. Robert, . Lidowski, E. Barry, R. O. Mullins, and . Baldwin, A novel communications protocol using geographic routing for swarming uavs performing a search mission, Pervasive Computing and Communications, pp.1-7, 2009.

L. Lin, Q. Sun, J. Li, and F. Yang, A novel geographic position mobility oriented routing strategy for uavs, Journal of Computational Information Systems, vol.8, issue.2, pp.709-716, 2012.

J. Maxa, R. Gilles, and L. Nicolas, Emulation-based performance evaluation of routing protocols for uaanets, Communication Technologies for Vehicles, pp.227-240, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01132516

Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate, Testing or formal verification: Do-178c alternatives and industrial experience. Software, IEEE, vol.30, issue.3, pp.50-57, 2013.

E. Charles, E. M. Perkins, and . Royer, Adhoc on-demand distance vector routing, Mobile Computing Systems and Applications, 1999. Proceedings. WMCSA'99. Second IEEE Workshop on, pp.90-100, 1999.

S. Rosati, K. Kruzelecki, and L. Traynard, Speed-aware routing for uav ad-hoc networks, Globecom Workshops (GC Wkshps), pp.1367-1373, 2013.

R. Shirani, M. St-hilaire, T. Kunz, Y. Zhou, J. Li et al., Combined reactive-geographic routing for unmanned aeronautical ad-hoc networks, Wireless Communications and Mobile Computing Conference (IWCMC), pp.820-826, 2012.

H. Yang, H. Luo, F. Ye, S. Lu, and L. Zhang, Security in mobile ad hoc networks: challenges and solutions, Wireless Communications, vol.11, issue.1, pp.38-47, 2004.