| Item type |
SIG Technical Reports(1) |
| 公開日 |
2022-07-05 |
| タイトル |
|
|
タイトル |
リンク障害に対するネットワーク設計の自動検証手法の試案 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Tentative Proposal for a Method to Automatically Verify Network Design against Link Failures |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者名 |
佐竹, 柊路
鈴木, 彦文
小形, 真平
新井, 凪
岡野, 浩三
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
情報通信におけるネットワークの設計時では，リンク障害への対策を講じる必要がある．リンク障害とは，ネットワーク機器間のリンクが故障することで，そのリンクを用いた通信が不可能になる障害を指す．設計段階では障害対策の適否を，設計者が知識や経験に基づき机上で検討することが一般的であるが，その正確性が設計者の能力に依存して保証しにくい問題がある．そこで本稿では，設計段階で障害対策の質を保証しやすいように，STP（Spanning Tree Protocol）により冗長化したネットワークを対象として，リンク障害に対するネットワーク設計の自動検証手法を試案した結果を報告する．提案手法では，ネットワークの設計書をもとに GNS3（Graphical Network Simulator 3）上でリンク障害に対する検証を行い，リンク障害発生前後における各ネットワーク機器の STP に関する状態を取得する流れを自動化した．そして実験を通して，提案手法による検証結果が，実機で構築したネットワークで得た結果と同様であったことから，提案手法による検証結果が正確である見込みを得た． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA12326962 |
| 書誌情報 |
研究報告インターネットと運用技術（IOT）
巻 2022-IOT-58,
号 3,
p. 1-8,
発行日 2022-07-05
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8787 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-IOT22058003.pdf (1.8 MB)
