本文讲述了一起空中交通管制系统故障的案例，呼吁加强安全设计，避免航路点重复命名和缺乏形式验证等问题。制造商提供了专业知识，但连锁反应已经是灾难性的。

探讨英国空中交通管制崩溃的原因
极道
极道 ·
👤 个人中心
在公众号发送验证码完成验证