研究課題
挑戦的萌芽研究
IoTベースシステムを複数のモジュール(端末やエッジサーバ)が連携して動作する分散協調システムとしてモデル化し、各モジュールの入出力制約や時間制約をアサーションで指定できるようにした。次に、車両や人のモビリティに依存するIoTシステムの性能解析のため、ノードの密度分布を動的に変化可能なランダムモビリティ生成手法を開発し、セル毎の密度分布やその時間変化を再現することで、アサーションの成否判定をシミュレーションで評価できる受動的テスト手法を考案した。提案手法は、IEEE SMARTCOMP 2017国際会議(キーノート)やIEEE主催の分散システム国際会議ICDCS2018論文などで発表した。
すべて 2018 2017
すべて 雑誌論文 (2件) (うち国際共著 1件、 査読あり 2件) 学会発表 (8件) (うち国際学会 8件、 招待講演 5件)
Mobile Information Systems
巻: Vol. 2017, Article ID 7892545 ページ: 1-16
10.1155/2017/7892545
International Journal of Intelligent Transportation Systems Research
巻: 15 号: 3 ページ: 192-202
10.1007/s13177-016-0132-0