文献

J-GLOBAL ID：201802239022782974   整理番号：18A0727380

無線ボディエリアネットワーク(WBAN)プロトコルの形式的モデリングと検証:S-TDMAプロトコル【JST・京大機械翻訳】

Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol

著者 (2件)： Ben Hamouda Raoua (University Tunis El Manar, Tunisia, Higher Institute of Computer Science (ISI)) ,  Ben Hafaiedh Imene (University Tunis El Manar, Tunisia, Higher Institute of Computer Science (ISI))
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： IINTEC  ページ： 72-77  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： WBANsは,個人の幸福を監視するために,無線通信と情報処理システムを有するウェアラブルで移植された装置を統合する。異なる目的を持つ様々なMAC(Medium Access Control)プロトコルがWBANsに対して提案されている。これらの重要なシステムにおけるいかなる欠陥も,1つの寿命の損失をもたらす可能性があるという事実は,そのようなシステムに対するMACのプロトコルを試験し検証することが,より高いレベルの重要性にあることを意味する。本論文では,最初に,S-TDMA(統計的フレームベースのTDMAプロトコル)と呼ばれるWBANsのために設計されたMACプロトコルのためのタイミング側面を有する高レベル形式的でスケーラブルなモデルを提案した。このプロトコルは,時間的側面モデリングを必要とするTDMA(時間分割多重アクセス)バスarbitr裁を使用する。第二に,著者らは,高レベル抽象化におけるこのプロトコルのデッドロック自由度,公平性および相互排除のようないくつかの関連特性の形式的検証を提案した。このプロトコルを時間オートマトン成分の構成を用いてモデル化し,実時間モデルチェッカーを用いて検証を行った。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 公平性 ,  多重化 ,  時分割処理 ,  デッドロック ,  相互排除 ,  情報システム ,  無線伝送 ,  *TDMA ,  自由度 ,  *プロトコル ,  *モデリング
準シソーラス用語： 時間付きオートマトン ,  形式的検証 ,  メディアアクセス制御 ,  ウェアラブル , 【Automatic Indexing@JST】

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

タイトルに関連する用語 (6件)： 無線ボディエリアネットワーク ,  WBAN ,  プロトコル ,  モデリング ,  検証 ,  TDMA