有谁知道空中交通管制系统如何实施软件容错？
有些网址会非常有用。
答案 0 :(得分：6)
洛克希德不久后发表了一些关于此事的文章。看看 here 。
许多系统使用Ada，它明确支持命题验证和其他形式逻辑思想，以便您可以保证系统的一致性。详细了解 here 。
您还需要搜索ERAM，“ En Route Automation Modernization ”的首字母缩写，这是新系统的名称，现在在美国正在慢慢推出。 。这是En Route Host System的替代品，En Route Host System是现有的遗留系统，可以防止一切事件相互撞击。
答案 1 :(得分：0)
此处的software fault tolerance链接包含：