Q

软件容错

2010-03-20 44 views 3 likes

3

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

一些网址会非常有帮助。

2010-03-20 Upul Bandara

A

回答

5

洛克希德公司发表了一些关于这方面的文章。看看here。

许多系统都使用Ada，它明确支持对命题和其他形式逻辑思想的验证，以确保系统的一致性。阅读更多关于here。

你也想寻找ERAM，缩写为“En Route Automation Modernization”，这是新的系统，是（非常）慢慢地被美国现在推出了名。这是中转主机系统的替代品，中转系统是现有的遗留系统，可以防止一切事件相互碰撞。

2010-03-20 16:57:43

0

的software fault tolerance链接这里包括：

超时
审计
异常处理
回滚
增量重启
投票

2011-05-30 16:09:34 Sandeep

相关问题