モデルベースアプローチによるネットワーク機器更新の自動計画

摘要

アプリケーションやサーバインフラを管理対象として登場したansibleやpuppetなどの構成管理ツールをネットワーク機器へも適用する動きが広がってきている．これらのツールは管理対象の特徴を抽象化したモデルを組み合わせることでシステムの構成を定義し，実体のシステムを構築することができる．ネットワーク機器においても対象の機器のモデルさえ準備されていれば所望の設定をそのモデルに与えるだけで自動的に機器の構築が可能となる．しかし，一般にネットワーク機器の更新は，冗長構成内や隣接機器間との制約関係などを考慮した人手による変更計画作成が依然として必要である．我々はシステムの構成要素とそれらの間の複雑な依存関係を要素の状態に関する有限オートマトンと状態遷移制約を含むコンポーネントモデルとしてモデル化することで様々な変更手順を自動生成する技術を開発している．本研究ではこの技術をネットワーク機器の更新へ応用し，ローリングアップデートや隣接機器のマスタ切替などを伴う複雑な機器更新においても変更前後のシステムの姿をモデルとして定義するだけで自動的に変更手順を生成する手法を提案する．さらにデータセンタネットワークを模したサンプルケースへの適用を通して本手法の有効性を検証する．