| Item type |
SIG Technical Reports(1) |
| 公開日 |
2026-09-17 |
| タイトル |
|
|
言語 |
ja |
|
タイトル |
ネットワーク構成モデルに対する検証環境のクラウド化 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Cloudification of a Verification Environment for Network Configuration Model |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
IOT |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
ものつくり大学 |
| 著者所属 |
|
|
|
国立情報学研究所 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
東京電機大学 |
| 著者所属 |
|
|
|
信州大学 |
| 著者所属 |
|
|
|
国立情報学研究所 |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Institute of Technologists |
| 著者所属(英) |
|
|
|
en |
|
|
National Institute of Informatics |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Tokyo Denki University |
| 著者所属(英) |
|
|
|
en |
|
|
Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
National Institute of Informatics |
| 著者名 |
尾形,健斗
永井,孝
鈴木,彦文
小形,真平
橋浦,弘明
岡野,浩三
清水,さや子
|
| 著者名(英) |
Kento Ogata
Takashi Nagai
Hikofumi Suzuki
Shinpei Ogata
Hiroaki Hashiura
Kozo Okano
Sayako Shimizu
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
ネットワーク設計の誤りは，後工程での手戻りや障害リスクを増大させる．我々はこれまで，ネットワークの接続関係や設定を表すネットワーク構成モデルを静的・動的に検証し，設計段階で誤りを検出するツール群を提案してきた．しかし，当該ツール群は利用者のローカル環境での導入・実行を前提とするため，利用者自身による実行環境の構築と計算資源の確保が必要となる．特に，複数の検証処理を並列実行するには，計算資源と実行環境を拡充する必要があり，利用者の負担が増す．そこで本稿では，当該ツール群をクラウド化し，ネットワーク構成モデルの静的・動的検証を行うとともに，複数の検証処理を並列実行できる環境を提案する．評価では，複数の検証処理の逐次実行と並列実行を比較し，提案環境の有効性について考察する． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA12326962 |
| 書誌情報 |
研究報告インターネットと運用技術（IOT）
巻 2026-IOT-75,
号 14,
p. 1-8,
発行日 2026-09-17
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8787 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-IOT26075014.pdf (1.5 MB)
