On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution

Research output: Contribution to conferencePaper

Standard

On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. / Zou, Xueyi; Alexander, Robert David; McDermid, John Alexander.

2016. 1-8.

Research output: Contribution to conferencePaper

Harvard

Zou, X, Alexander, RD & McDermid, JA 2016, 'On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution', pp. 1-8.

APA

Zou, X., Alexander, R. D., & McDermid, J. A. (2016). On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. 1-8.

Vancouver

Zou X, Alexander RD, McDermid JA. On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. 2016.

Author

Zou, Xueyi ; Alexander, Robert David ; McDermid, John Alexander. / On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution. 8 p.

Bibtex - Download

@conference{f3ffc8feb95a4ef1b745d7dfc66cdc8e,
title = "On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization:: Challenges and a Tentative Partial Solution",
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.",
author = "Xueyi Zou and Alexander, {Robert David} and McDermid, {John Alexander}",
year = "2016",
month = jun,
language = "English",
pages = "1--8",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization:

T2 - Challenges and a Tentative Partial Solution

AU - Zou, Xueyi

AU - Alexander, Robert David

AU - McDermid, John Alexander

PY - 2016/6

Y1 - 2016/6

N2 - 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.

AB - 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.

M3 - Paper

SP - 1

EP - 8

ER -