{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00218790","sets":["1164:4088:10830:10916"]},"path":["10916"],"owner":"44499","recid":"218790","title":["リンク障害に対するネットワーク設計の自動検証手法の試案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-07-05"},"_buckets":{"deposit":"589a8d63-07b0-44f6-9064-fd5c3aa6f4c1"},"_deposit":{"id":"218790","pid":{"type":"depid","value":"218790","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"リンク障害に対するネットワーク設計の自動検証手法の試案","author_link":["569707","569710","569711","569709","569708"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"リンク障害に対するネットワーク設計の自動検証手法の試案"},{"subitem_title":"Tentative Proposal for a Method to Automatically Verify Network Design against Link Failures","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2022-07-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/218790/files/IPSJ-IOT22058003.pdf","label":"IPSJ-IOT22058003.pdf"},"date":[{"dateType":"Available","dateValue":"2024-07-05"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-IOT22058003.pdf","filesize":[{"value":"1.8 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":"6efe05ff-e4c9-4f06-8d0e-80a8b6fb2414","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 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_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":"情報通信におけるネットワークの設計時では，リンク障害への対策を講じる必要がある．リンク障害とは，ネットワーク機器間のリンクが故障することで，そのリンクを用いた通信が不可能になる障害を指す．設計段階では障害対策の適否を，設計者が知識や経験に基づき机上で検討することが一般的であるが，その正確性が設計者の能力に依存して保証しにくい問題がある．そこで本稿では，設計段階で障害対策の質を保証しやすいように，STP（Spanning Tree Protocol）により冗長化したネットワークを対象として，リンク障害に対するネットワーク設計の自動検証手法を試案した結果を報告する．提案手法では，ネットワークの設計書をもとに GNS3（Graphical Network Simulator 3）上でリンク障害に対する検証を行い，リンク障害発生前後における各ネットワーク機器の STP に関する状態を取得する流れを自動化した．そして実験を通して，提案手法による検証結果が，実機で構築したネットワークで得た結果と同様であったことから，提案手法による検証結果が正確である見込みを得た．","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":"2022-07-05","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"2022-IOT-58"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"updated":"2025-01-19T15:02:00.215893+00:00","created":"2025-01-19T01:19:08.243830+00:00","links":{},"id":218790}