Bluetoothデバイスについての研究です。シミュレーションによるデバイス探索の特性を評価しました。
近年普及しているBluetoothですが、基本的にバッテリー駆動のため、低消費エネルギー化が求められます。
本研究では確率的モデル検査ツールを用いて探索時間を評価指標としました。



また、モデルの最適化を行い状態数を削減しました。その結果状態数は最大で97.7%、
探索時間は98.8%削減することを実現しました。