On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution
- 3 October 2016
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W)
- p. 192-199
- https://doi.org/10.1109/dsn-w.2016.12
Abstract
The development of the new generation of airborne collision avoidance system ACAS X adopts a model-based optimization approach, where the collision avoidance logic is automatically generated based on a probabilistic model and a set of preferences. It has the potential for safety benefits and shortening the development cycle, but it poses new challenges for safety assurance. In this paper, we introduce the new development process and explain its key ideas using a simple collision avoidance example. Based on this explanation, we analyze the challenges it poses to safety assurance, with a particular focus on system validation. We then propose a Genetic-Algorithm-based approach that can efficiently search for undesired situations to help the development and validation of the system. We introduce an open-source tool we have developed to support this approach and demonstrate it on searching for challenging situations for ACAS XU.Keywords
This publication has 6 references indexed in Scilit:
- Model-Based Optimization for Robotics [TC Spotlight]IEEE Robotics & Automation Magazine, 2014
- Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary SearchLecture Notes in Computer Science, 2014
- Selective Velocity Obstacle Method for Cooperative Autonomous Collision Avoidance System for Unmanned Aerial VehiclesPublished by American Institute of Aeronautics and Astronautics (AIAA) ,2013
- A clustering approach to improving test case prioritization: An industrial case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2011
- Airspace Encounter Models for Estimating Collision RiskJournal of Guidance, Control, and Dynamics, 2010
- Tutorial on agent-based modeling and simulationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006