@Susan Rambo there are some software standards from MISRA. Toyota did use these. However they are not formal methods based and wouldn't pick up things like unprotected variables that I believe Michael Barr wrote about
Drones are, in essence, flying autonomous vehicles. Pros and cons surrounding drones today might well foreshadow the debate over the development of self-driving cars. In the context of a strongly regulated aviation industry, "self-flying" drones pose a fresh challenge. How safe is it to fly drones in different environments? Should drones be required for visual line of sight – as are piloted airplanes? Join EE Times' Junko Yoshida as she moderates a panel of drone experts.