文献

J-GLOBAL ID：201302289276945070   整理番号：13A0978773

確率時間オートマトン付きIEEE802.15.4ビーコンなしネットワークにおけるメディアアクセス制御のモデル化

Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata

著者 (1件)： KAPUS Tatjana (Univ. Maribor, Maribor, SVN)
資料名： Mobile Information Systems  (Mobile Information Systems)
巻： 9  号： 2  ページ： 157-188  発行年： 2013年 
JST資料番号： W2350A  ISSN： 1574-017X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： IEEE802.15.4規格は,低速WPANのメディアアクセス制御(MAC)サブレイヤと物理レイヤを規定している。本稿では,確率時間オートマトン付きビーコンなしIEEE802.15.4WPANにおけるメディアアクセス制御の正式モデル化をPRISM確率モデルチェッカを使って検討した。ここでは,二つの局が二つの異なる宛先局にデータを送るネットワークのモデルを導入した。次に,このモデルを改善して任意の数の送信局が各々各自の宛先局を持つネットワークの二つのモデル化手法を提案した。さらに,スター型ネットワークや一部の送信局が無線到達範囲外のいわゆる隠れ端末に関するモデル化も検討した。これらのモデルについて,PRISMを使った確率モデルチェックにより得られた結果も示した。

シソーラス用語： 移動通信 ,  規格 ,  *オートマトン ,  *プロトコル ,  *通信制御 ,  モデリング ,  *無線LAN
準シソーラス用語： IEEE 802.15.4 ,  *WPAN ,  *メディアアクセス制御 ,  モデル化 ,  隠れ端末

分類 (1件)： 移動通信  (ND08030H)

タイトルに関連する用語 (6件)： 確率 ,  時間オートマトン ,  IEEE802 ,  ビーコン ,  メディアアクセス制御 ,  モデル化