有谁知道如何在空中交通管制系统中实现软件容错？
一些 URL 会很有帮助。
最佳答案
洛克希德不久前发表了一些关于此的文章。看看 here 。
许多系统使用 Ada，它明确支持命题和其他形式逻辑思想的验证，以便您可以保证系统的一致性。阅读有关 here 的更多信息。
您还需要搜索 ERAM，它是“ En Route Automation Modernization ”的首字母缩写词，这是目前在美国(非常)缓慢推出的新系统的名称。这是 En Route Host System 的替代品，这是现有的遗留系统，可防止一切相互碰撞。
关于fault - 软件容错，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/2483873/