09 - Safety and Security
FORMAL VERIFICATION OF AUTOPILOTS IN UMANNED AIRCRAFT SYSTEMS
B.J. Yang¹, P. Dutta¹, I. Hwang, Purdue University, United States; ¹Optimal Synthesis Inc., United States
This paper addresses a V&V technique that formally verifies a software intead of accumulating confidence by test cases. The approach relies on the promise demontrated by the model checking technique in software verification and tries to extend its validity into the verification of UAS autopilot systems.