E. A. Marconato, D. F. Pigatto, K. R. Branco, and L. H. Branco, LARISSA: Layered architecture model for interconnection of systems in UAS, 2014 International Conference on Unmanned Aircraft Systems (ICUAS), pp.20-31, 2014.
DOI : 10.1109/ICUAS.2014.6842235

R. S. Hanmer, D. T. Mcbride, and V. B. Mendiratta, Comparing reliability and security: Concepts, requirements, and techniques, Bell Labs Technical Journal, vol.12, issue.3, pp.65-78, 2007.
DOI : 10.1002/bltj.20250

I. Bekmezci, O. K. Sahingoz, and S. ¸. Temel, Flying Ad-Hoc Networks (FANETs): A survey, Ad Hoc Networks, pp.1254-1270, 2013.
DOI : 10.1016/j.adhoc.2012.12.004

J. Li, Y. Zhou, and L. Lamont, Communication architectures and protocols for networking unmanned aerial vehicles, 2013 IEEE Globecom Workshops (GC Wkshps, pp.1415-1420, 2013.

O. K. Sahingoz, Mobile networking with UAVs: Opportunities and challenges, 2013 International Conference on Unmanned Aircraft Systems (ICUAS), pp.933-941, 2013.
DOI : 10.1109/ICUAS.2013.6564779

D. Santamaría, F. Alarcón, A. Jiménez, A. Viguria, M. Béjar et al., Model-Based Design, Development and Validation for UAS Critical Software, Journal of Intelligent & Robotic Systems, vol.57, issue.1-4, pp.103-114, 2012.
DOI : 10.1007/s10846-011-9618-9

A. Geraldy, R. Gotzhein, and C. Heidinger, Model-driven development of complex routing protocols with sdl-mdd, Joint ITU-T and SDL Forum Society workshop on ITU System Design Languages, 2008.

J. Maxa, M. Slim-ben-mahmoud, and N. Larrieu, Secure routing protocol design for uav ad hoc networks, Digital Avionics Systems Conference (DASC), pp.4-5, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01166852

J. Maxa, M. B. Mahmoud, and N. Larrieu, Joint Model-Driven design and real experiment-based validation for a secure UAV Ad hoc Network routing protocol, 2016 Integrated Communications Navigation and Surveillance (ICNS), 2016.
DOI : 10.1109/ICNSURV.2016.7486324

URL : https://hal.archives-ouvertes.fr/hal-01292300

Y. Moy, E. Ledinot, H. Delseny, V. Wiels, and B. Monate, Testing or Formal Verification: DO-178C Alternatives and Industrial Experience, IEEE Software, vol.30, issue.3, pp.50-57, 2013.
DOI : 10.1109/MS.2013.43

N. Larrieu, How can model driven development approaches improve the certification process for UAS?, 2014 International Conference on Unmanned Aircraft Systems (ICUAS), pp.253-260, 2014.
DOI : 10.1109/ICUAS.2014.6842263

URL : https://hal.archives-ouvertes.fr/hal-00977096

O. Team, Openembedded user manual, 2006.

M. Lauer, Building embedded linux distributions with bitbake and openembedded, Proceedings of the Free and Open Source Software Developers European Meeting (FOSDEM), 2005.

K. Singh and A. K. Verma, Experimental analysis of AODV, DSDV and OLSR routing protocol for flying adhoc networks (FANETs), 2015 IEEE International Conference on Electrical, Computer and Communication Technologies (ICECCT), pp.1-4, 2015.
DOI : 10.1109/ICECCT.2015.7226085

K. Furlong and R. Erickson, The Power of 802.15.4 and Ethernet Available: https, Tech. Rep, 2011.