ネットワーク設計に対するリンク障害の検証支援ツールの提案と評価

抄録

情報ネットワークの設計段階において，設計者は通常，リンク障害への対策とその適否を机上で検討する．しかし，机上検討の正確さは設計者の知識と経験に依存し，一方で，実機による試験を行う場合でも機器の設定等に時間がかかる．そこで本研究は，ネットワーク設計に対するリンク障害検証を正確かつ効率的に行なえるように，リンク障害の検証支援ツールを提案する．提案ツールはネットワーク構成モデルと呼ばれる設計仕様を入力にとり，リンク障害の発生前後における各機器の状態と通信経路の挙動を自動で出力する．そして，設計者はその出力内容に基づき，リンク障害時のネットワークが設計者の意図通りに振舞うかを確認する．提案ツールの有効性評価のため，信州大学のネットワーク構成を模した広域型キャンパスネットワークの設計仕様に提案手法を適用して挙動を得る一方で，実ネットワークでも挙動を得て比較した．その結果，その挙動は互いに等価な内容であったため，提案ツールにより設計段階で実機を用いずに正確な検証結果が得られる見込みを得た．また，この設計仕様の改良過程では，提案ツールで設計の誤りを検出できたことから提案ツールが有効な見込みも得た．