Project/Area Number |
24H00699
|
Research Category |
Grant-in-Aid for Scientific Research (A)
|
Allocation Type | Single-year Grants |
Section | 一般 |
Review Section |
Medium-sized Section 60:Information science, computer engineering, and related fields
|
Research Institution | National Institute of Informatics |
Principal Investigator |
関山 太朗 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
|
Co-Investigator(Kenkyū-buntansha) |
海野 広志 東北大学, 電気通信研究所, 教授 (80569575)
|
Project Period (FY) |
2024-04-01 – 2028-03-31
|
Project Status |
Granted (Fiscal Year 2024)
|
Budget Amount *help |
¥46,930,000 (Direct Cost: ¥36,100,000、Indirect Cost: ¥10,830,000)
Fiscal Year 2024: ¥6,110,000 (Direct Cost: ¥4,700,000、Indirect Cost: ¥1,410,000)
|
Keywords | プログラミング言語 / プログラム検証 / 並行・並列プログラム / 代数的効果ハンドラ / 時相的検証 |
Outline of Research at the Start |
膨大なデータや通信を処理することが要請される近年のソフトウェアシステムにおいて,並行・並列処理を適切に行うことが重要となっている.しかし,並行・並列処理はシステムの実行順序や状態の可能性を爆発的に増大させるため,正しく動く並行・並列ソフトウェアシステムを構築するのは,並行・並列処理を行わない逐次実行的なソフトウェアを開発するよりも極めて困難となる.本研究は並行・並列処理を行うソフトウェアシステムの安全性を保証する上で重要となる時相的・状態依存的性質といったプログラムの詳細な性質の検証が可能なプログラム検証技術の実現およびその自動化を目指す.
|