Results 121 to 130 of about 74,073 (217)

From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems [PDF]

open access: yes
Operational requirements of safety-critical systems are often written in restricted specification logics. These restricted logics are amenable to automated analysis techniques such as model-checking, but are not rich enough to express complex ...
Dutle, Aaron   +2 more
core   +1 more source

Integrating Unmanned Aircraft Systems

open access: yes, 2014
Unmanned Aircraft Systems (UAS) are presently deployed in segregated airspace; passage though controlled airspace is taking place only through segregated corridors. With the increased use and the growing size of Unmanned Aircraft (UA), the need for insertion in non-segregated airspace increases, with first steps being taken in environments with air ...
Schmitt, Dirk-Roger   +2 more
openaire   +1 more source

Detect-and-Avoid: Flight Test 6 Scripted Encounters Data Analysis [PDF]

open access: yes
The Unmanned Aircraft System (UAS) in the National Airspace System (NAS) project conducted Flight Test 6 (FT6) in 2019. The ultimate goal of this flight test was to produce data to inform RTCA SC-228's Phase II Minimum Operational Performance Standards ...
Wang, Wei-Ching, Wu, M. Gilbert
core   +1 more source

Home - About - Disclaimer - Privacy