{"updated":"2025-01-19T10:14:24.949348+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00233024","sets":["1164:4088:11480:11520"]},"path":["11520"],"owner":"44499","recid":"233024","title":["L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-03-05"},"_buckets":{"deposit":"bc7fb043-72bd-4ce4-8144-9940aa4629af"},"_deposit":{"id":"233024","pid":{"type":"depid","value":"233024","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法","author_link":["631969","631970","631974","631968","631973","631972","631971","631967","631976","631975"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法"},{"subitem_title":"Automatic Verification of Network Configuration Model using L2-L3 Communication Route Design Description","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":" IOT-A","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2024-03-05","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"信州大学"},{"subitem_text_value":"国立情報学研究所"},{"subitem_text_value":"信州大学"},{"subitem_text_value":"日本工業大学"},{"subitem_text_value":"信州大学"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/233024/files/IPSJ-IOT24064004.pdf","label":"IPSJ-IOT24064004.pdf"},"date":[{"dateType":"Available","dateValue":"2026-03-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-IOT24064004.pdf","filesize":[{"value":"1.9 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"43"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"07c68851-f90d-4add-8cff-56f5c3a36376","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"佐竹, 柊路"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"鈴木, 彦文"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"小形, 真平"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"橋浦, 弘明"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"岡野, 浩三"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shuji, Satake","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hikofumi, Suzuki","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shinpei, Ogata","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroaki, Hashiura","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Kozo, Okano","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12326962","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8787","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ネットワーク設計時では通常，実機による検証環境上で障害対策の適否を検証する．しかし物理的に機器やリンクを操作する必要があり，設計者の負担が大きい．そこで本稿では，仮想の検証環境上で自動検証でき，その結果の分析を支援する自動検証手法を提案する．提案手法では，ネットワーク構成モデル（ネットワーク構成の設計記述）に基づき検証環境を構築し，L2L3 通信経路設計記述（設計者が意図する各機器の状態）どおりの機器の状態を得たか示す検証結果表を出力する．提案手法の有効性を議論するため，正しい L2L3 通信経路設計記述と誤ったネットワーク構成モデルを入力し，得られた検証結果表から誤り箇所を分析する実験を実施した．その結果，誤り箇所を絞り込めたため，提案手法が有効な見込みを得た．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告インターネットと運用技術（IOT）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2024-03-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"4","bibliographicVolumeNumber":"2024-IOT-64"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:34:13.563954+00:00","id":233024,"links":{}}