原文传递
A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen
| 题名： | A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen |
| 作者： | Munoz, Cesar; Butler, Ricky; Narkawicz, Anthony; Maddalon, Jeffrey; Hagen, George |
| 关键词： | separation；solution；standard；vision；iter；flic；aran；safety；next；esol |
| 摘要： | Distributed approaches for conflict resolution rely on analyzing the behavior of each aircraft to ensure that system-wide safety properties are maintained. This paper presents the criteria method, which increases the quality and efficiency of a safety assurance analysis for distributed air traffic concepts. The criteria standard is shown to provide two key safety properties: safe separation when only one aircraft maneuvers and safe separation when both aircraft maneuver at the same time. This approach is complemented with strong guarantees of correct operation through formal verification. To show that an algorithm is correct, i.e., that it always meets its specified safety property, one must only show that the algorithm satisfies the criteria. Once this is done, then the algorithm inherits the safety properties of the criteria. An important consequence of this approach is that there is no requirement that both aircraft execute the same conflict resolution algorithm. Therefore, the criteria approach allows different avionics manufacturers or even different airlines to use different algorithms, each optimized according to their own proprietary concerns. |
| 报告类型： | 科技报告 |
相关文献
- Surveillance Range and Interference Impacts on Self-Separation Performance.
- Autonomous Operations Planner: A Flexible Platform for Research in Flight-Deck Support for Airborne Self-Separation.
- Autonomous Operations Planner: A Flexible Platform for Research in Flight-Deck Support for Airborne Self-Separation.
- Pilot and Controller Evaluations of Separation Function Allocation in Air Traffic Management.
- 4D Dynamic Required Navigation Performance Final Report
- Effects of Limited Intent Information Availability on Self-Separation in Mixed Operations.
检索历史
应用推荐
