ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. インターネットと運用技術(IOT)
  3. 2024
  4. 2024-IOT-064

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

https://ipsj.ixsq.nii.ac.jp/records/233024
https://ipsj.ixsq.nii.ac.jp/records/233024
f9c8ca7b-c480-49bb-a85a-56fe537c191f
名前 / ファイル ライセンス アクション
IPSJ-IOT24064004.pdf IPSJ-IOT24064004.pdf (1.9 MB)
 2026年3月5日からダウンロード可能です。
Copyright (c) 2024 by the Information Processing Society of Japan
非会員:¥660, IPSJ:学会員:¥330, IOT:会員:¥0, DLIB:会員:¥0
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
著者所属
信州大学
著者所属
国立情報学研究所
著者所属
信州大学
著者所属
日本工業大学
著者所属
信州大学
著者名 佐竹, 柊路

× 佐竹, 柊路

佐竹, 柊路

Search repository
鈴木, 彦文

× 鈴木, 彦文

鈴木, 彦文

Search repository
小形, 真平

× 小形, 真平

小形, 真平

Search repository
橋浦, 弘明

× 橋浦, 弘明

橋浦, 弘明

Search repository
岡野, 浩三

× 岡野, 浩三

岡野, 浩三

Search repository
著者名(英) Shuji, Satake

× Shuji, Satake

en Shuji, Satake

Search repository
Hikofumi, Suzuki

× Hikofumi, Suzuki

en Hikofumi, Suzuki

Search repository
Shinpei, Ogata

× Shinpei, Ogata

en Shinpei, Ogata

Search repository
Hiroaki, Hashiura

× Hiroaki, Hashiura

en Hiroaki, Hashiura

Search repository
Kozo, Okano

× Kozo, Okano

en Kozo, Okano

Search repository
論文抄録
内容記述タイプ 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
収録物識別子 AA12326962
書誌情報 研究報告インターネットと運用技術(IOT)

巻 2024-IOT-64, 号 4, p. 1-8, 発行日 2024-03-05
ISSN
収録物識別子タイプ ISSN
収録物識別子 2188-8787
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-19 10:14:24.309181
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3