Formal testing for separation assurance |
| |
Authors: | Dimitra?Giannakopoulou David?H?Bushnell Email author" target="_blank">Johann?SchumannEmail author Heinz?Erzberger Karen?Heere |
| |
Affiliation: | 1.NASA Ames,Carnegie Mellon University,Moffett Field,USA;2.NASA Ames,TRACLabs,Moffett Field,USA;3.NASA Ames,SGT, Inc.,Moffett Field,USA;4.NASA Ames,UC Santa Cruz,Moffett Field,USA;5.University Affiliated Research Center,Moffett Field,USA |
| |
Abstract: | In order to address the rapidly increasing load of air traffic operations, innovative algorithms and software systems must
be developed for the next generation air traffic control. Extensive verification of such novel algorithms is key for their
adoption by industry. Separation assurance algorithms aim at predicting if two aircraft will get closer to each other than
a minimum safe distance; if loss of separation is predicted, they also propose a change of course for the aircraft to resolve
this potential conflict. In this paper, we report on our work towards developing an advanced testing framework for separation
assurance. Our framework supports automated test case generation and testing, and defines test oracles that capture algorithm
requirements. We discuss three different approaches to test-case generation, their application to a separation assurance prototype,
and their respective strengths and weaknesses. We also present an approach for statistical analysis of the large numbers of
test results obtained from our framework. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|