文献

J-GLOBAL ID：201602213540195659   整理番号：16A0561904

衛星通信システムネットワーク制御プロトコルのためのPetriネットに基づくダイナミックな適合性検査法

A DYNAMIC CONFORMANCE CHECKING METHOD BASED ON PETRI NETS FOR SATELLITE COMMUNICATION SYSTEM NETWORK CONTROL PROTOCOL

著者 (4件)： ZHU Jun (Nanjing Telecommunication Technol. Res. Inst., Jiangsu, CHN) ,  WEI Peng (Nanjing Telecommunication Technol. Res. Inst., Jiangsu, CHN) ,  XIE Shijun (Nanjing Telecommunication Technol. Res. Inst., Jiangsu, CHN) ,  LU Ruimin (Nanjing Telecommunication Technol. Res. Inst., Jiangsu, CHN)
資料名： IET Conference Publications  (IET Conference Publications)
巻： 675  ページ： 444-451  発行年： 2015年 
JST資料番号： B0665A  ISSN： 0537-9989  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 本論文では衛星通信ネットワークの制御プロトコルのために,離散分散システムを表現する手法であるPetriネット(PN)に基づくダイナミックな適合性検査法を提案した。衛星チャネルと地上ノードの品質に不安定性や異常が生じた場合に,プロトコル実行時に違反が生じる可能性があり,その結果プロトコル仕様と実際の実行状態との間に不一致が生じるおそれがあった。また複雑で変化の大きい現実の実行環境においては,プロトコルノード間の相互作用による挙動の予測が困難なため,プロトコル仕様に適合しているか否かの判断が容易ではなかった。この不適合性の問題を解決するために,本研究ではPetriネットの概念を下位の互換性に拡張した色付きPetriネット(CPN)に基づくダイナミックな適合性検査法を提案し,適合性検査アルゴリズムを開発した。これにより衛星ネットワークにおける信号伝達に対する適合性検証の枠組みが構築できた。更に本適合性検査法について単一と複数チェックスレッドの性能及びオーバヘッドの評価を行い,本方法の有用性と可用性を実証した。

シソーラス用語： *衛星通信 ,  *通信制御 ,  プロトコル ,  *Petriネット ,  分散系 ,  適応性 ,  通信網 ,  相互作用 ,  アルゴリズム ,  アベイラビリティ ,  互換性
準シソーラス用語： *ネットワーク制御 ,  分散システム ,  適合性 ,  色付きPetriネット ,  ノード【通信】 ,  オーバヘッド ,  可用性

分類 (4件)： 宇宙通信  (ND08040S) ,  通信網  (ND07030A) ,  オペレーションズリサーチ一般  (KA03010Q) ,  計算機網  (JC03000K)

タイトルに関連する用語 (6件)： 衛星通信システム ,  ネットワーク制御 ,  プロトコル ,  Petriネット ,  適合性 ,  検査