IMF自动发现无人机自驾逻辑缺陷

Ziyi Liang等研究者提出多智能体系统 Impossible Mission Finder（IMF），结合静态分析、动态执行与日志分析，可全自动识别、测试并验证自动驾驶系统中的逻辑缺陷。该系统在开源自动驾驶系统 PX4 和 Ardupilot 中发现 105 个此前未知的逻辑缺陷，可能导致任务中断、无效动作、闯入禁飞区等不安全行为。 上述发现来自研究团队对 IMF 的评估，缺陷数量与影响范围均为其报告结果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。