Skip to content
InfoResearchPreprintLLM-specific

Mission (Im)Possible: Towards Autonomous Discovery of Autopilot Logic Flaws in Open-Source Drone Frameworks

Published
Record updated
View JSON

Summary

Researchers present Impossible Mission Finder (IMF), a multi-agent system that combines static analysis, dynamic execution and log analysis to automatically identify, test and validate logic flaws in autopilot software. Applied to PX4 and Ardupilot, two widely used open-source autopilot systems, it found 105 previously unknown logic flaws that can cause unsafe behaviors such as mission interruption failures, invalid actions and entry into restricted fly zones.