Fault 软件容错
有人知道软件容错是如何在空中交通管制系统中实现的吗Fault 软件容错,fault,fault-tolerance,Fault,Fault Tolerance,有人知道软件容错是如何在空中交通管制系统中实现的吗 一些URL将非常有用。洛克希德不久前发表了一些关于这方面的文章。看看 许多系统使用Ada，它明确支持命题验证和其他形式逻辑思想，因此可以保证系统的一致性。请阅读更多关于此的信息 您还需要搜索ERAM，ERAM是“”的首字母缩略词，它是美国正在（非常）缓慢推出的新系统的名称。这是途中主机系统的替代品，该系统是一种现有的遗留系统，可防止任何东西相互碰撞。此处的链接包括： 超时 审计 异常处理 回滚 增量重启 投票表决
一些URL将非常有用。洛克希德不久前发表了一些关于这方面的文章。看看 许多系统使用Ada，它明确支持命题验证和其他形式逻辑思想，因此可以保证系统的一致性。请阅读更多关于此的信息 您还需要搜索ERAM，ERAM是“”的首字母缩略词，它是美国正在（非常）缓慢推出的新系统的名称。这是途中主机系统的替代品，该系统是一种现有的遗留系统，可防止任何东西相互碰撞。此处的链接包括：
- 超时
- 审计
- 异常处理
- 回滚
- 增量重启
- 投票表决