SBIR/STTR Award attributes
Certification of Detect and Avoid (DAA) systems is challenging because the state space of these systems is large and the modeling of other aircraft, ownership, operator dynamics, and sensors is complex and time consuming. Furthermore, to be able to achieve sufficient evidence for certification, a strong argument for their safety has to be determined. In Phase I we expect to demonstrate the feasibility of our comprehensive approach and identify all the inputs and outputs necessary for the aircraft verification system software. We will justify why the types of models are sufficient and which models might need refinement. We expect to generate first results on a set of test cases.

