S. , Available: http://www.sesarju.eu/sites

A. R. Lacher, D. R. Maroney, and A. D. Zeitlin, Unmanned aircraft collision avoidance?technology assessment and evaluation methods, FAA EUROCONTROL ATM R&D Symposium, 2007.

M. Orefice and V. D. Vito, Aircraft automatic collision avoidance using spiral geometric approach, World Academy of Science, Engineering and Technology International Journal of Mechanical Aerospace, Industrial, Mechatronic and Manufacturing Engineering, vol.10, issue.4, pp.654-661, 2016.

L. R. Sahawneh, M. E. Argyle, and R. W. Beard, 3D path planning for small UAS operating in low-altitude airspace, 2016 International Conference on Unmanned Aircraft Systems (ICUAS), pp.413-419, 2016.
DOI : 10.1109/ICUAS.2016.7502528

M. Radmanesh and M. Kumar, Grey wolf optimization based sense and avoid algorithm for UAV path planning in uncertain environment using a Bayesian framework, 2016 International Conference on Unmanned Aircraft Systems (ICUAS), pp.68-76, 2016.
DOI : 10.1109/ICUAS.2016.7502590

Y. Lin and S. Saripalli, Sampling based collision avoidance for UAVs, 2016 American Control Conference (ACC), pp.1353-1358, 2016.
DOI : 10.1109/ACC.2016.7525106

R. E. Weibel, M. W. Edwards, and C. S. Fernandes, Establishing a Risk-Based Separation Standard for Unmanned Aircraft Self Separation, 11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, 2011.
DOI : 10.2514/6.2011-6921

A. J. Weinert, E. P. Harkleroad, J. Griffith, M. W. Edwards, and M. J. Kochenderfer, Uncorrelated encounter model of the national airspace system, version 2.0, DTIC Document, 2013.

C. Allignol, N. Barnier, N. Durand, G. Manfredi, and E. Blond, Integration of UAS in Terminal Control Area, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 2016.
DOI : 10.1109/DASC.2016.7778052

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

Y. Lyu, Q. Pan, C. Zhao, C. Yu, and J. Hu, A UAV sense and avoid system design method based on software simulation, 2016 International Conference on Unmanned Aircraft Systems (ICUAS), pp.572-579, 2016.
DOI : 10.1109/ICUAS.2016.7502673

, Operational demonstration of rpas in european airspace (odrea), 2015.

, Mid-air collision avoidance system (midcas), MIDCAS, 2015.

C. Park, S. M. Lee, and E. R. Mueller, Investigating Detect-and-Avoid Surveillance Performance for Unmanned Aircraft Systems, 14th AIAA Aviation Technology, Integration, and Operations Conference, 2014.
DOI : 10.1002/acs.1176

J. R. Comstock-jr, R. W. Ghatas, M. J. Vincent, M. C. Consiglio, C. Muñoz et al., Unmanned aircraft systems human-in-the-loop controller and pilot acceptability study: Collision avoidance, self-separation, and alerting times (cassat), 2016.

J. R. Murphy, P. S. Hayes, S. K. Kim, W. Bridges, and M. Marston, Flight Test Overview for UAS Integration in the NAS Project, AIAA Atmospheric Flight Mechanics Conference, 1756.
DOI : 10.1109/DASC.2015.7311588

T. Arino, K. Carpenter, S. Chabert, H. Hutchinson, T. Miquel et al., Studies on the safety of acas ii in europe, Eurocontrol, 2002.

B. Raynaud, T. Arino, C. Aveneau, and G. Dean, Applicability and usefulness of the encounter model-based methodology for safety net assessment

S. P. Cook, D. Brooks, R. Cole, D. Hackenberg, and V. Raska, Defining Well Clear for Unmanned Aircraft Systems, AIAA Infotech @ Aerospace, pp.2015-0481, 2015.
DOI : 10.2514/6.2014-2412

M. T. Degarmo, Issues concerning integration of unmanned aerial vehicles in civil airspace, The MITRE Corporation Center for Advanced Aviation System Development, 2004.

M. , C. Sanchez, and L. Vidal, Creation of rpas aircraft performance models for bada, 2015.

E. Theunissen, B. Suarez, and F. Kunzi, Well clear recovery for detect and avoid, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), pp.1-10, 2016.
DOI : 10.1109/DASC.2016.7777985

, Airborne Collision Avoidance Systems (incorporating TCAS II version 7.0 & 7.1 and introduction to ACAS X), Eurocontrol Eurocontrol, 2015.

M. J. Kochenderfer, J. E. Holland, and J. P. Chryssanthacopoulos, Next generation airborne collision avoidance system, Lincoln Laboratory Journal, vol.19, issue.1, pp.17-33, 2012.

N. Musavi, D. Onural, K. Gunes, and Y. Yildiz, Unmanned Aircraft Systems Airspace Integration: A Game Theoretical Framework for Concept Evaluations, Journal of Guidance, Control, and Dynamics, vol.54, issue.2, pp.96-109, 2016.
DOI : 10.2514/1.35145

S. C. Mohleji and G. Wang, Modeling ads-b position and velocity errors for airborne merging and spacing in interval management application, MITRE release, pp.10-3026, 2010.

. Vega-prime, Available: http://www.presagis.com/products services/products/modeling-simulation/visualization

J. Yu, D. Tang, X. Chen, and L. Hu, Application of dynamic IR scene generation technique in airborne electro-optical detecting simulation systems, 2009 9th International Conference on Electronic Measurement & Instruments, pp.3-840, 2009.
DOI : 10.1109/ICEMI.2009.5274188

A. Mcfadyen and L. Mejias, A survey of autonomous vision-based See and Avoid for Unmanned Aircraft Systems, Progress in Aerospace Sciences, pp.1-17, 2016.
DOI : 10.1016/j.paerosci.2015.10.002

B. Raynaud and A. , Implications on acas performances due to asas implementation, Eurocontrol, Technical Rep. IAP A/WP11, 2005.

, Asarp: Acas safety analysis post-rvsm project, Eurocontrol, 2006.

M. Kochenderfer, L. Espindle, J. Kuchar, and J. D. Griffith, Correlated encounter model for cooperative aircraft in the national airspace system version 1.0, 2008.

X. Zou, R. D. Alexander, and J. A. Mcdermid, On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016.
DOI : 10.1109/DSN-W.2016.12

J. K. Kuchar, L. C. Yang, G. George, V. Satapathy, K. Manikonda et al., A review of conflict detection and resolution modeling methods Avail- able: http://www.eurocontrol.int/articles/ acas-ii-monitoring-interactive-collision-avoidance-simulator-incas Build 8 of the airspace concept evaluation system, AIAA modeling and simulation technologies conference, pp.179-189, 2000.

E. Online, Available: http://www.eei.cena.fr/products/ easy/easy leaflet.pdf [37] EUROCONTROL E-ocvm version 3.0 volume i: European operational concept validation methodology, 2010.

G. Hagen, R. Butler, and J. Maddalon, Stratway: A Modular Approach to Strategic Conflict Resolution, 11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, 2011.
DOI : 10.2514/6.2011-6892

J. Jeannin, K. Ghorbal, Y. Kouskoulas, R. Gardner, A. Schmidt et al., A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.21-36, 2015.
DOI : 10.1007/978-3-662-46681-0_2

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

C. Muñoz, A. Narkawicz, G. Hagen, J. Upchurch, A. Dutle et al., Daidalus: detect and avoid alerting logic for unmanned systems, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC). IEEE, pp.5-6, 2015.

C. A. Muñoz, A. Dutle, A. Narkawicz, and J. Upchurch, Unmanned aircraft systems in the national airspace system: a formal methods perspective, ACM SIGLOG News, vol.3, issue.3, pp.67-76, 2016.

C. Von-essen and D. Giannakopoulou, Probabilistic verification and synthesis of the next generation airborne collision avoidance system, International Journal on Software Tools for Technology Transfer, vol.43, issue.2, pp.227-243, 2016.
DOI : 10.1007/s10703-013-0195-3

J. E. Holland, M. J. Kochenderfer, and W. A. Olson, Optimizing the Next Generation Collision Avoidance System for Safe, Suitable, and Acceptable Operational Performance, Air Traffic Control Quarterly, vol.20, issue.1, 2014.
DOI : 10.2514/6.2013-4624

E. H. Londner, Collision Avoidance System Effectiveness on Low Performance Unmanned Aircraft, AIAA Infotech @ Aerospace, p.1987, 2016.
DOI : 10.2514/1.44867

S. M. Lee, C. Park, D. P. Thipphavong, D. R. Isaacson, and C. Santiago, Evaluating alerting and guidance performance of a uas detect-and-avoid system, 2016.

L. Espindle, J. Griffith, and J. Kuchar, Safety analysis of upgrading to tcas version 7.1 using the 2008 us correlated encounter model, 2009.