研究課題
基盤研究(C)
モノのネットワーク(以降IoTと略す)では、身の回りに存在するあらゆる機器がネットワークに参加して情報を共有・交換する。IoT機器の中にはネットワークに接続して情報を共有・交換するソフトウェアが組み込まれている。セキュリティと機能の観点から、このソフトウェアは常に最新の状態に保つことが望ましい。PCではソフトウェアを更新した後に再起動を行うのが一般的だが、IoT機器には煙感知器や監視カメラなど停止が望ましくないものもある。したがってプログラムを停止させずに更新する動的更新の実現が重要課題である。本研究ではプログラムの動的更新を可能にするプログラミング言語を設計し、理論的基礎を構築する。