- Mathematical mistakes in control laws
Control implementation bugs
Interactions between multiple controllers/modes
Floating point exceptions
Floating point rounding error
Memory issues
Timing issues
Mode switch issues
Sensor fusion problems
Failure to notify user of a problem
Communication failures
Just for some context, this is a part of a project to develop better verification tools and techniques for cyber-physical systems (veridrone.ucsd.edu). Our hope is to use this study to focus our work on the most common sources of issues in drone software.