Continuity Checkの設定変更を統一的に実現するための制約充足アプローチを用いた設定方法の提案

摘要

Ethernet OAMのETH-CC（Ethernet Continuity Check）機能は，イーサネットにおいて端末間の通信の接続性を常時監視することができ，保守性を向上させる技術として高く注目されている．本稿では，ETH-CCの設定パラメータの値の変更を自動化する方法を提案する．ETH-CCでは，監視フレームを送信する端末と，その監視フレームを受信する他の端末の設定パラメータ間に依存関係が存在する．そのため，ある端末の設定パラメータの値を変更すると，それに合わせて他の端末の設定パラメータの値も変更しなければならない．したがって，監視対象となる端末が多いネットワーク環境下では，影響を受ける設定パラメータとその変更値を人手で決定すると，それらを誤る危険性が増加する。本研究では，各設定パラメータ間の依存関係を制約として表現し，制約充足ソルバによりその制約を満たす設定パラメータの値を求めることで自動化する．本稿では，制約充足問題への定式化を説明し，実運用に向けた処理時間の評価結果と課題を述べる．