The Traffic Alert and Collision Avoidance System (TCAS) is a family of airborne systems designed to reduce the risk of mid-air collisions between aircraft. TCAS~II, the current generation of TCAS devices, provides resolution advisories that direct pilots to maintain or increase vertical separation when aircraft distance and time parameters are beyond designed system thresholds. This paper presents a mathematical model of the TCAS~II Resolution Advisory (RA) logic that assumes accurate aircraft state information. Based on this model, an algorithm for RA detection is also presented. This algorithm is analogous to a conflict detection algorithm, but instead of predicting loss of separation, it predicts resolution advisories. It has been formally verified that for a kinematic model of aircraft trajectories, this algorithm completely and correctly characterizes all encounter geometries between two aircraft that lead to a resolution advisory within a given lookahead time interval. The RA detection algorithm proposed in this paper is a fundamental component of a NASA sense and avoid concept for the integration of Unmanned Aircraft Systems in civil airspace.

/pdf/a-tcas-ii-resolution-advisory-detection-algorithm-4mezpubdlm.pdf

A TCAS-II Resolution Advisory Detection Algorithm

One of the major challenges facing the integration of Unmanned Aircraft Systems (UAS) in the National Airspace System (NAS) is the lack of an onboard pilot that can comply with the legal requirement identified in the US Code of Federal Regulations (CFR) that pilots see and avoid other aircraft. UAS will be expected to demonstrate the means to perform the function of see and avoid while preserving the safety level of the airspace and the efficiency of the air traffic system. This paper introduces a Sense and Avoid (SAA) concept for integration of UAS into the NAS that is currently being developed by the National Aeronautics and Space Administration (NASA) and identifies areas that require additional experimental evaluation to further inform various elements of the concept. The concept design rests on interoperability principles that take into account both the Air Traffic Control (ATC) environment as well as existing systems such as the Traffic Alert and Collision Avoidance System (TCAS). Specifically, the concept addresses the determination of well clear values that are large enough to avoid issuance of TCAS corrective Resolution Advisories, undue concern by pilots of proximate aircraft and issuance of controller traffic alerts. The concept also addresses appropriate declaration times for projected losses of well clear conditions and maneuvers to regain well clear separation.

/pdf/concepts-of-integration-for-uas-operations-in-the-nas-5cer57qu7b.pdf

Concepts of Integration for UAS Operations in the NAS

The FAA-sponsored Sense and Avoid Workshop for Unmanned Aircraft Systems (UAS) defines the concept of sense and avoid for remote pilots as "the capability of a UAS to remain well clear from and avoid collisions with other airborne traffic." Hence, a rigorous definition of well clear is fundamental to any separation assurance concept for the integration of UAS into civil airspace. This paper presents a family of well-clear boundary models based on the TCAS II Resolution Advisory logic. For these models, algorithms that predict well-clear violations along aircraft current trajectories are provided. These algorithms are analogous to conflict detection algorithms but instead of predicting loss of separation, they predict whether well-clear violations will occur during a given lookahead time interval. Analytical techniques are used to study the properties and relationships satisfied by the models.

/pdf/a-family-of-well-clear-boundary-models-for-the-integration-540xbb5gjr.pdf

A Family of Well-Clear Boundary Models for the Integration of UAS in the NAS

As the technological and operational capabilities of unmanned aircraft systems (UAS) have grown, so too have international efforts to integrate UAS into civil airspace. However, one of the major concerns that must be addressed in realizing this integration is that of safety. For example, UAS lack an on-board pilot to comply with the legal requirement that pilots see and avoid other aircraft. This requirement has motivated the development of a detect and avoid (DAA) capability for UAS that provides situational awareness and maneuver guidance to UAS operators to aid them in avoiding and remaining well clear of other aircraft in the airspace. The NASA Langley Research Center Formal Methods group has played a fundamental role in the development of this capability. This article gives a selected survey of the formal methods work conducted in support of the development of a DAA concept for UAS. This work includes specification of low-level and high-level functional requirements, formal verification of algorithms, and rigorous validation of software implementations.

/pdf/unmanned-aircraft-systems-in-the-national-airspace-system-a-3khnta5wyv.pdf

Unmanned aircraft systems in the national airspace system: a formal methods perspective

This paper concerns the application of formal methods to the definition of a detect and avoid concept for unmanned aircraft systems UAS. In particular, it illustrates how formal analysis was used to explain and correct unexpected behaviors of the logic that issues alerts when two aircraft are predicted not to be well clear from one another. As a result of this analysis, a recommendation was proposed to, and subsequently adopted by, the US standards organization that defines the minimum operational requirements for the UAS detect and avoid concept.

/pdf/formal-analysis-of-extended-well-clear-boundaries-for-3hxs3qbivy.pdf

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft

The horizontal distance to avoid a collision there is provided a filter system (220), for inhibiting air traffic alert and collision avoidance system (210) providing a warning message to the pilot-resolution display (230). The horizontal distance to avoid a collision by filtration using a parabolic acceleration estimation value obtained from (11) from the track (10), having a non-zero level for distinguishing intrusion aircraft to avoid a collision (110) distance. According to the distance data supplied from the parabola tracker calculated horizontal distance to avoid a collision based on an azimuth track (22) based on the horizontal azimuth angle of collision avoidance provided by the distance comparison. The two calculated horizontal level to avoid collision of the projection distance to avoid a collision, it is compared with a predetermined threshold distance smaller. Any level to avoid a collision projection distance is greater than the threshold of resolution intrusion alarm aircraft are prohibited, unless it is determined in the plane crash included one for maneuver.

约纳塔恩B·哈默

Papers

A horizontal miss distance filter system for suppressing false resolution alerts