Core Concepts
冗長性のある制御システムにおいて、一貫性を優先しつつ可用性への影響を最小限に抑えるアルゴリズムNRP FDを提案し、形式検証を行う。
Abstract
本論文では、冗長性のある制御システムにおける一貫性の確保に関する課題について検討している。
まず、冗長性のある制御システムの概要と、一貫性と可用性のトレードオフについて説明している。
次に、一貫性を優先しつつ可用性への影響を最小限に抑えるアルゴリズムNRP FDを提案している。
NRP FDでは、外部のネットワークリファレンスポイント(NRP)を活用することで、プライマリ制御器の障害時にバックアップ制御器がプライマリ制御器の役割を引き継ぐ際の一貫性を確保する。
論文では、Timed Rebecaを用いてNRP FDをモデル化し、形式検証を行っている。
検証の結果、一部の障害シナリオでNRP FDに課題があることが明らかになった。
そこで、リース方式を導入したLeasing NRP FDを提案し、形式検証を行った結果、一貫性が確保されることを示している。
最後に、Timed Rebecaを選択した理由や、今後の展望について述べている。
Stats
制御システムの停止時間が長期化すると、大きな経済的損失や人命に関わる重大事故につながる可能性がある。
冗長性のある制御システムでは、プライマリ制御器の障害時にバックアップ制御器が引き継ぐことで、システムの可用性を高めることができる。
ただし、プライマリ制御器とバックアップ制御器の状態が一致しない「デュアルプライマリ」の状況が発生すると、一貫性が損なわれる可能性がある。
Quotes
"冗長性のある制御システムにおいて、一貫性を優先しつつ可用性への影響を最小限に抑えるアルゴリズムNRP FDを提案し、形式検証を行う。"
"NRP FDでは、外部のネットワークリファレンスポイント(NRP)を活用することで、プライマリ制御器の障害時にバックアップ制御器がプライマリ制御器の役割を引き継ぐ際の一貫性を確保する。"
"Timed Rebecaを用いてNRP FDをモデル化し、形式検証を行った結果、一部の障害シナリオでNRP FDに課題があることが明らかになった。そこで、リース方式を導入したLeasing NRP FDを提案し、形式検証を行った結果、一貫性が確保されることを示している。"