3

有谁知道如何在空中交通管制系统中实现软件容错？

一些 URL 会很有帮助。

4

2 回答 2

6

洛克希德不久前发表了一些关于此的文章。看看这里。

许多系统使用 Ada，它明确支持对命题和其他形式逻辑思想的验证，以便您可以保证系统一致性。在此处阅读更多相关信息。

您还需要搜索 ERAM，它是“ En Route Automation Modernization ”的首字母缩写词，它是现在（非常）缓慢地在美国推出的新系统的名称。这是 En Route Host System 的替代品，现有的遗留系统可以防止一切相互碰撞。

于 2010-03-20T16:57:43.280 回答
0

此处的软件容错链接包括：

  • 超时
  • 审计
  • 异常处理
  • 回滚
  • 增量重启
  • 表决
于 2011-05-30T16:09:34.010 回答