文献

J-GLOBAL ID：202002214998331270   整理番号：20A1866197

多重コントローラによるSDNのモデリングと検証【JST・京大機械翻訳】

Modeling and verifying SDN with multiple controllers

著者 (3件)： Xiao Lili (East China Normal University, Shanghai, China) ,  Xiang Shuangqing (East China Normal University, Shanghai, China) ,  Zhuy Huibiao (East China Normal University, Shanghai, China)
資料名： ACM Proceedings  (ACM Proceedings)
号： SAC ’18  ページ： 419-422  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多重制御装置によるSDN(ソフトウェア定義ネットワーク)は,ネットワークの規模増加のためにより多くの注意を引く。アーキテクチャは,単一コントローラによるSDNがアドレスできないことを扱うことができる。このアーキテクチャがいかに正確に達成できるかを理解するために,形式的方法でそれを解析する。本論文では,OpenFlowプロトコルに基づくHyperFlowアーキテクチャの下でSDNのルーティングサービスをモデル化するためにCSP(協調逐次プロセス)を適用した。モデルチェッカーPAT(Process Analysis Toolkit)を用いて,このモデルがデッドロックフリーネス,一貫性およびフォールトトレランスをカバーする3つの特性を満たすことを検証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 制御装置 ,  ネットワーク ,  濾水度 ,  経路選定 ,  シーケンシャル処理 ,  *多重化 ,  フォールトトレランス ,  デッドロック ,  計算機アーキテクチャ
準シソーラス用語： OpenFlow , 【Automatic Indexing@JST】

著者キーワード (5件)： CSP ,  SDN ,  ハイパーフロー ,  モデリング ,  検証

分類 (2件)： 計算機網  (JC03000K) ,  通信網  (ND07030A)

タイトルに関連する用語 (5件)： 多重 ,  コントローラ ,  SDN ,  モデリング ,  検証