软件容错
有谁知道空中交通管制系统中如何实现软件容错？
有些 URL 会很有帮助。
Does anyone know how software fault tolerance is implemented in Air Traffic Control Systems?
Some URLs would be very helpful.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
洛克希德公司不久前发表了一些关于此的文章。请查看此处。
许多系统都使用 Ada，它明确支持命题验证和其他形式逻辑思想，以便您可以保证系统一致性。 此处了解更多相关信息。
您还需要搜索 ERAM，它是“En Route Automation Modernization< 的缩写/strong>”，这是现在在美国（非常）缓慢推出的新系统的名称。这是 En Route Host System 的替代品，En Route Host System 是现有的遗留系统，可以防止所有东西相互碰撞。
Lockheed published some articles about this a while back. Take a look here.
Many systems use Ada, which explicitly supports verification of propositions and other formal-logic ideas so that you can guarantee system consistency. Read more about that here.
You will also want to search for ERAM, the acronym for "En Route Automation Modernization", which is the name of the new system that's (very) slowly being rolled out now in the US. This is the replacement for the En Route Host System, the existing legacy system that keeps everything from crashing into each other.
此处的软件容错链接涵盖：
The software fault tolerance link here covers: