2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) 2015
DOI: 10.1109/dasc.2015.7311421
|View full text |Cite
|
Sign up to set email alerts
|

DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

Abstract: This paper presents DAIDALUS (Detect and Avoid Alerting Logic for Unmanned Systems), a reference implementation of a detect and avoid concept intended to support the integration of Unmanned Aircraft Systems into civil airspace. DAIDALUS consists of self-separation and alerting algorithms that provide situational awareness to UAS remote pilots. These algorithms have been formally specified in a mathematical notation and verified for correctness in an interactive theorem prover. The software implementation has b… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
63
0

Year Published

2017
2017
2021
2021

Publication Types

Select...
5
5

Relationship

0
10

Authors

Journals

citations
Cited by 82 publications
(63 citation statements)
references
References 4 publications
0
63
0
Order By: Relevance
“…[4][5][6][7] Prototype DAA algorithms have also been developed to alerting and guidance research. [8][9][10] These developments enabled the RTCA Special Committee 228 (SC-228) to publish the Minimum Operational Performance Standards (MOPS) for DAA systems 11 and air-to-air radar 12 in 2017. The corresponding Technical Standard Orders (TSO), TSO-C211 and TSO-C212, were published by the Federal Aviation Administration (FAA) in October 2017.…”
Section: Introductionmentioning
confidence: 99%
“…[4][5][6][7] Prototype DAA algorithms have also been developed to alerting and guidance research. [8][9][10] These developments enabled the RTCA Special Committee 228 (SC-228) to publish the Minimum Operational Performance Standards (MOPS) for DAA systems 11 and air-to-air radar 12 in 2017. The corresponding Technical Standard Orders (TSO), TSO-C211 and TSO-C212, were published by the Federal Aviation Administration (FAA) in October 2017.…”
Section: Introductionmentioning
confidence: 99%
“…ICAROUS is also being developed in a verification-driven manner, as discussed in [11] and [20]. The two portions of ICAROUS that are fully formally verified at the time of writing are DAIDALUS [19], which handles the detection and avoidance of collisions, and PolyCARP, which handles computation behind the exact location of the points in polygons.…”
Section: Limitations Of Uxasmentioning
confidence: 99%
“…The resulting flight paths range from flight paths that are tightly controlled by ATC (e.g., "turn heading 300, turn downwind, I will call your base, slow to 70 knots, turn base now") to flight paths whose broad outline is guided by ATC but involve onboard decision making and discretion (e.g., "turn crosswind at your discretion, you are following a Cessna midfield downwind, make room for two departures"). Stratway and AOW are capabilities for detecting and self-spacing from other traffic, built on DAIDALUS [8]. They originated as detect and avoid capabilities, our implementation is based on simulated traffic with ADS-B sensing.…”
Section: Amendment(id(amendment 131) Aircraft_id(n007jb) Enter_at_lmentioning
confidence: 99%