旅行者1号探测器遭遇严重故障，飞行控制系统内存损坏约3%，NASA正在尝试屏蔽损坏内存以恢复工作并传送科学数据。下次更新可能需要几个月。

本文介绍了一种建立数据和需求导向的感知合同精化算法，用于飞行控制系统的安全性测试。通过分析多阶段异构的机器学习增强感知，提供可测试的合同以确定飞机和无人机的安全性，并发现了可能违反基于视觉的控制系统安全性的条件。