| A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen Contributor(s): Administration (Nasa), National Aeronaut (Author) |
|
 |
ISBN: ISBN-13: 9798671178784 Publisher: Independently Published OUR PRICE: $31.49 Product Type: Paperback Published: August 2020 * Not available - Not in print at this time * |
| Additional Information |
| BISAC Categories: - Science | Space Science |
| Physical Information: 0.08" H x 8.5" W x 11.02" (0.26 lbs) 40 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. Munoz, Cesar and Butler, Ricky and Narkawicz, Anthony and Maddalon, Jeffrey and Hagen, George Langley Research Center NASA/TM-2010-216862, L-19932, NF1676L-11543 WBS 411931.02.51.07.01 AIR TRAFFIC; SAFETY FACTORS; PROGRAM VERIFICATION (COMPUTERS); SYSTEMS ENGINEERING; AVIONICS; CIVIL AVIATION; COMMERCIAL AIRCRAFT; AIRLINE OPERATIONS; QUALITY CONTROL |