【发布时间】：2010-03-20 16:51:44
【问题描述】：
有人知道空中交通管制系统是如何实现软件容错的吗？
一些网址会很有帮助。
【问题讨论】：
标签： fault fault-tolerance
【发布时间】：2010-03-20 16:51:44
【问题描述】：
洛克希德不久前发表了一些关于此的文章。看看here。
许多系统都使用 Ada，它明确支持对命题和其他形式逻辑思想的验证，这样您就可以保证系统的一致性。详细了解 here。
您还需要搜索 ERAM，它是“En Route Automation Modernization”的首字母缩写词，它是新系统的名称，现在正在（非常）缓慢地在美国推出。这是 En Route Host System 的替代品，现有的遗留系统可以防止一切相互碰撞。
【讨论】：
software fault tolerance 链接包括：
- 超时
- 审核
- 异常处理
- 回滚
- 增量重启
- 投票
【讨论】：