L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法

• Item type: SIG Technical Reports(1)
• 公開日: 2024-03-05
• タイトル: L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法
• タイトル / 言語: en
• タイトル: Automatic Verification of Network Configuration Model using L2-L3 Communication Route Design Description
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: IOT-A
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 信州大学
• 著者所属: 国立情報学研究所
• 著者所属: 信州大学
• 著者所属: 日本工業大学
• 著者所属: 信州大学
• 著者名: 佐竹, 柊路; 鈴木, 彦文; 小形, 真平; 橋浦, 弘明; 岡野, 浩三
• 著者名(英): Shuji, Satake; Hikofumi, Suzuki; Shinpei, Ogata; Hiroaki, Hashiura; Kozo, Okano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ネットワーク設計時では通常，実機による検証環境上で障害対策の適否を検証する．しかし物理的に機器やリンクを操作する必要があり，設計者の負担が大きい．そこで本稿では，仮想の検証環境上で自動検証でき，その結果の分析を支援する自動検証手法を提案する．提案手法では，ネットワーク構成モデル（ネットワーク構成の設計記述）に基づき検証環境を構築し，L2L3 通信経路設計記述（設計者が意図する各機器の状態）どおりの機器の状態を得たか示す検証結果表を出力する．提案手法の有効性を議論するため，正しい L2L3 通信経路設計記述と誤ったネットワーク構成モデルを入力し，得られた検証結果表から誤り箇所を分析する実験を実施した．その結果，誤り箇所を絞り込めたため，提案手法が有効な見込みを得た．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In network design, constructing a verification environment with actual equipment is practice, but this approach burdens designers with physical manipulation. In this paper, we propose an automated verification approach that enables the validation of whether policies are met in a virtual environment and supports the analysis of the results. This proposed approach constructs a virtual environment based on NCM (description of network configuration), allowing for the output of a validation result table indicating whether the states of devices match the L2-L3 CRDD (the intended state of each device as envisioned by the designer). Experiments were conducted to evaluate the proposed approach's effectiveness. By inputting correct L2-L3 CRDD and incorrect NCM, error locations were analyzed. The proposed approach effectively narrowed down error locations, demonstrating its potential efficacy.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12326962
• 書誌情報: 研究報告インターネットと運用技術（IOT）; 巻 2024-IOT-64, 号 4, p. 1-8, 発行日 2024-03-05
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8787
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会