プログラムの動的更新のための多版ワークフロープログラミング言語の設計と実現

Research Project

Project/Area Number	24K14900
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60050:Software-related
Research Institution	Tokyo University of Science, Yamaguchi
Principal Investigator	青谷知幸山陽小野田市立山口東京理科大学, 工学部, 准教授 (20582919)
Project Period (FY)	2024-04-01 – 2027-03-31
Project Status	Granted (Fiscal Year 2024)
Budget Amount *help	¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000) Fiscal Year 2026: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000) Fiscal Year 2025: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000) Fiscal Year 2024: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Keywords	プログラミング言語 / 多版プログラミング / プログラムの動的更新 / Multi-Version Execution
Outline of Research at the Start	モノのネットワーク(以降IoTと略す)では、身の回りに存在するあらゆる機器がネットワークに参加して情報を共有・交換する。IoT機器の中にはネットワークに接続して情報を共有・交換するソフトウェアが組み込まれている。セキュリティと機能の観点から、このソフトウェアは常に最新の状態に保つことが望ましい。PCではソフトウェアを更新した後に再起動を行うのが一般的だが、IoT機器には煙感知器や監視カメラなど停止が望ましくないものもある。したがってプログラムを停止させずに更新する動的更新の実現が重要課題である。本研究ではプログラムの動的更新を可能にするプログラミング言語を設計し、理論的基礎を構築する。