洛克希德不久前发表了一些有关此事的文章.看看这里.
许多系统使用Ada,它明确支持命题和其他形式逻辑思想的验证,以便您可以保证系统的一致性.在这里阅读更多相关信息.
您还需要搜索ERAM,这是" En Route Automation Modernization " 的首字母缩写,这是新系统的名称,现在在美国正在慢慢推出.这是En Route Host System的替代品,En Route Host System是现有的遗留系统,可以防止一切事件相互撞击.
| 归档时间： |
|
| 查看次数： |
344 次 |
| 最近记录： |