Qualitative and quantitative risk analysis and safety assessment of unmanned aerial vehicles missions over the internet, IEEE Access, vol.7, pp.53392-53410, 2019. ,
Survey on collaborative smart drones and internet of things for improving smartness of smart cities, IEEE Access, vol.7, pp.128125-128152, 2019. ,
Drones Are Gaining Popularity, 2018. ,
Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.8, issue.2, pp.244-263, 1986. ,
Failsafe Mechanism Design for Autonomous Aerial Refueling using State Tree Structures, Unmanned Systems, vol.7, issue.04, pp.261-279, 2019. ,
, ISO 13849-1. safety of machinery, safety-related parts of control systems, part 1: General principles for design, International Organization for Standardization, 2006.
NCES-based modelling and CTL-based verification of reconfigurable embedded control systems, Computers in Industry, vol.61, issue.3, pp.198-212, 2010. ,
Micro Air Vehicle Link (MAVLink) in a Nutshell: A Survey, IEEE Access, vol.7, pp.87658-87680, 2019. ,
Safesyse: A safety analysis integration in systems engineering approach, IEEE Systems Journal, vol.12, issue.1, pp.161-172, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01464077
Using NCES for Modeling and Validating Dynamic Adaptation, 2016. ,
New schedulability analysis for real-time systems based on MDE and petri nets model at early design stages, 10th International Joint Conference on Software Technologies (ICSOFT), vol.1, pp.1-9, 2015. ,
Towards a MARTE extension to address adaptation mechanisms, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), pp.240-243, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-02348228
Identifying and mitigating human factors errors in unmanned aircraft systems, 16th AIAA Aviation Technology, Integration, and Operations Conference, p.3593, 2016. ,
Net condition/event systems with multiple condition outputs, Proceedings 1995 INRIA/IEEE Symposium on Emerging Technologies and Factory Automation. ETFA'95, vol.1, pp.592-600, 1995. ,
Towards a computational framework for autonomous decision-making in unmanned aerial vehicles, Aiaa information systemsaiaa infotech@ aerospace, p.446, 2017. ,
Safe operation of mini UAVs: a review of regulation and best practices, Advanced Robotics, vol.29, issue.19, pp.1221-1233, 2015. ,
Modelling and verification of discrete control systems, 2007. ,
Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, pp.161-172, 2009. ,
R-TNCES: A novel formalism for reconfigurable discrete event control systems, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.43, issue.4, pp.757-772, 2013. ,