| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2014-09-12 13:35 確率的モデル検査を用いたBluetooth LEデバイス探索時間の特性評価 ○松尾友介・梅原大祐・若杉耕一郎（京都工繊大）  CQ2014-61 |
|
| 抄録 | （和） | Bluetoothではペアリングをするとき，デバイスの探索に電気エネルギーを消費する． Bluetoothのペリフェラルはバッテリー駆動型のモバイル端末に搭載されているため，使用できるエネルギーには限りがある． そのため，デバイス探索における低消費エネルギー化が求められ，デバイス探索時に要する消費エネルギーを評価することは重要である． しかし，モンテカルロシミュレーションや数学的解析といった評価方法では最長デバイス探索時間の算出は困難である． 本稿では，確率的モデル検査ツールPRISMを用いてBluetooth LEのデバイス探索に要する時間を調べる． また，Bluetooth BRにおけるデバイス探索時間を求めて性能比較を行う． その結果，Bluetooth BRに比べBluetooth LEがどの程度消費エネルギーを削減できるかを確認する． |
| （英） | Pairing in Bluetooth consumes electric energy each device discovery. Since almost all Bluetooth peripherals are battery-powered, they should be dicovered rapidly and thier energy consumption should be estimated in advance to design their networks. However, it is intractable to estimate the longest device discovery time in Bluetooth precisely with Monte-Calro simulations or mathmatical analysis. In this manuscript, the longest device dicovery time in Bluetooth LE is found with a probabilistic model checking tool, PRISM. The results show that the device dicovery time in Bluetooth LE is shorter than that in Bluetooth BR. |
|
| キーワード | （和） | Bluetooth / Bluetooth LE / デバイス探索時間 / エネルギー消費 / 確率的モデル検査 / PRISM / / |
| （英） | Bluetooth / Bluetooth LE / device dicovery time / probabilistic model checking / energy consumption / PRISM / / | |
| 文献情報 | 信学技報, vol. 114, no. 209, CQ2014-61, pp. 123-128, 2014年9月. | |
| 資料番号 | CQ2014-61 | |
| 発行日 | 2014-09-04 (CQ) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CQ2014-61 |
|
| 研究会情報 | |
| 研究会 | MoNA CQ |
| 開催期間 | 2014-09-11 - 2014-09-12 |
| 開催地（和） | 石巻市河北総合センタービッグバン（石巻市） |
| 開催地（英） | |
| テーマ（和） | 災害時通信, モバイルオフロード, 無線LAN，M2M/センサネットワーク, P2P/アドホックネットワーク, モバイルアプリケーションとサービス, 無線伝送, クロスレイヤー融合技術, 映像配信, およびこれらの品質と省電力化, 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | CQ |
| 会議コード | 2014-09-MoNA-CQ |
| 本文の言語 | 日本語 |
| タイトル（和） | 確率的モデル検査を用いたBluetooth LEデバイス探索時間の特性評価 |
| サブタイトル（和） | |
| タイトル（英） | Performance Evaluation of Device Discovery Time in Bluetooth LE with Probabilistic Model Checking |
| サブタイトル（英） | |
| キーワード(1)（和/英） | Bluetooth / Bluetooth |
| キーワード(2)（和/英） | Bluetooth LE / Bluetooth LE |
| キーワード(3)（和/英） | デバイス探索時間 / device dicovery time |
| キーワード(4)（和/英） | エネルギー消費 / probabilistic model checking |
| キーワード(5)（和/英） | 確率的モデル検査 / energy consumption |
| キーワード(6)（和/英） | PRISM / PRISM |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 松尾 友介 / Yusuke Matsuo / マツオ ユウスケ |
| 第1著者 所属（和/英） | 京都工芸繊維大学 (略称： 京都工繊大) Kyoto Institute of Technology (略称： Kyoto Inst. of Tech.) |
| 第2著者 氏名（和/英/ヨミ） | 梅原 大祐 / Daisuke Umehara / ウメハラ ダイスケ |
| 第2著者 所属（和/英） | 京都工芸繊維大学 (略称： 京都工繊大) Kyoto Institute of Technology (略称： Kyoto Inst. of Tech.) |
| 第3著者 氏名（和/英/ヨミ） | 若杉 耕一郎 / Koichiro Wakasugi / ワカスギ コウイチロウ |
| 第3著者 所属（和/英） | 京都工芸繊維大学 (略称： 京都工繊大) Kyoto Institute of Technology (略称： Kyoto Inst. of Tech.) |
| 講演者 | 第1著者 |
| 発表日時 | 2014-09-12 13:35:00 |
| 発表時間 | 20分 |
| 申込先研究会 | CQ |
| 資料番号 | CQ2014-61 |
| 巻番号（vol） | vol.114 |
| 号番号（no） | no.209 |
| ページ範囲 | pp.123-128 |
| ページ数 | 6 |
| 発行日 | 2014-09-04 (CQ) |
[研究会発表申込システムのトップページに戻る]