Automated Generation of Air Traffic Encounters for Testing Conflict-Resolution Software-Reference-Cited by-同舟云学术

Automated Generation of Air Traffic Encounters for Testing Conflict-Resolution Software

Published:2013-05 Issue:5 Volume:10 Page:209-217
ISSN:2327-3097
Container-title:Journal of Aerospace Information Systems
language:en
Short-container-title:Journal of Aerospace Information Systems

Author:

Paielli Russell A.¹

Affiliation:

1. Aviation Systems Division, NASA Ames Research Center, Moffett Field, California 94035

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

http://arc.aiaa.org/doi/pdf/10.2514/1.54104

Reference10 articles.

1. Dijkstra E. W. “ Notes on Structured Programming,” T.H. Report 70-WSK-03, 2nd ed., April 1970.

2. Butler R. Hagen G. Maddalon J. Muñoz C. Narkawicz A. Dowek G. “ How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project,” NASA TM-2010-216215, April 2010.

3. Butler R. Muñoz C. “ Formally Verified Practical Algorithms for Recovery from Loss of Separation,” NASA TM-2009-215726, June 2009.

4. Concept for Next Generation Air Traffic Control System

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unmanned Aerial Vehicle Mid-Air Collision Detection and Resolution Using Avoidance Maps;Journal of Aerospace Information Systems;2021-08

2. A domain-specific language to design false data injection tests for air traffic control systems;International Journal on Software Tools for Technology Transfer;2021-02-22

3. Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search;Journal of Aerospace Information Systems;2016-05

4. Using the DIMMACSS-PSG Intelligent Robotic Middleware to Control Real-World and Simulated Multi-Agent Systems;AIAA Modeling and Simulation Technologies Conference;2015-01-02