3

航空交通管制システムにソフトウェアのフォールトトレランスがどのように実装されているか知っている人はいますか？

いくつかのURLは非常に役立ちます。

4

2 に答える 2

6

ロッキードはしばらく前にこれに関するいくつかの記事を公開しました。こちらをご覧ください。

多くのシステムはAdaを使用しています。これは、システムの一貫性を保証できるように、命題やその他の形式的な論理的アイデアの検証を明示的にサポートします。詳しくはこちらをご覧ください。

また、「 En Route Automation Modernization 」の頭字語である、ERAMも検索する必要があります。これは、現在米国で（非常に）ゆっくりと展開されている新しいシステムの名前です。これは、すべてが互いに衝突するのを防ぐ既存のレガシーシステムであるEn RouteHostSystemに代わるものです。

于 2010-03-20T16:57:43.280 に答える
0

ここでのソフトウェアフォールトトレランスリンクは以下をカバーしています：

  • タイムアウト
  • 監査
  • 例外処理
  • ロールバック
  • インクリメンタルリブート
  • 投票
于 2011-05-30T16:09:34.010 に答える