Onboard Model Checking for Small Scale Unmanned Aerial Vehicle Autopilots, Phase I

The V&V technology is a key component in many NASA programs. In particular, the developed tool directly supports the NASA strategic thrust of Assured Autonomy for Aviation Transformation. As specific programs, the V&V tool supports the UAS integration into the National Airspace System (NAS) in the Integrated Aviation Systems Program (IASP) by reducing the barriers associated with the safety assurance and certification for UAS operations in the NAS. The real-time V&V features of the developed tool also support the Flight Demonstration and Capabilities Project (FDC). The V &V is also a technical challenge in increasingly autonomous operations in the NAS that is a concern in the Airspace Operations and Safety Program (AOSP). In particular, the V&V is targeted for demonstration with small-scale UAVs that has direct relevance with low-altitude UAV operations and their traffic management. The developed V&V will have direct impact on certification practice and standard by FAA. These days, many small-scale UAV accidents frequently show up in the public media, raising a public concern for the safety of UAV operations in the civil airspace. The concern for UAV safety has also grown in parallel with ever-increasing demand for allowing UAVs into civil airspace driven by UAV markets and economic potentials. The V&V tool will help to establish the standards and certification methods for those newly emerging UAVs, and hence benefits the regulation agencies of the government as well as UAV industries aspiring access to the commercial markets. As dictated by UAV mishap rate that remains much higher than manned counterpart, the safety assurance and reliable UAS operations has a high priority in military domains. Therefore, the developed V&V tool will greatly benefit the military V&V domains. More »