| Project/Area Number |
25H01113
|
|---|
| 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 | Kyoto University |
|---|
Principal Investigator |
末永 幸平 京都大学, 情報学研究科, 准教授 (70633692)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
和賀 正樹 京都大学, 情報学研究科, 助教 (00899007)
五十嵐 淳 京都大学, 情報学研究科, 教授 (40323456)
池渕 未来 京都大学, 情報学研究科, 助教 (70961796)
関山 太朗 国立情報学研究所, アーキテクチャ科学研究系, 准教授 (80828476)
Hsieh Chiao (謝橋) 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教 (71006426)
|
|---|
| Project Period (FY) |
2025-04-01 – 2030-03-31
|
| Project Status |
Granted (Fiscal Year 2026)
|
| Budget Amount *help |
¥59,800,000 (Direct Cost: ¥46,000,000、Indirect Cost: ¥13,800,000)
Fiscal Year 2026: ¥14,560,000 (Direct Cost: ¥11,200,000、Indirect Cost: ¥3,360,000)
Fiscal Year 2025: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
|
|---|
| Keywords | ソフトウェア検証 / AI安全性 / 形式仕様 / ブラックボックス検査 / 形式検証 / 人工知能 / ソフトウェア |
|---|
| Outline of Research at the Start |
AIを用いたソフトウェアは，AIモジュールのブラックボックス性のために従来の形式検証手法をそのまま適用することが困難である．このようなソフトウェア安全性を向上させるための形式検証手法の確立に向けて，内部動作が明らかではなく，期待される動作の形式的仕様記述も困難であるモジュールを含むシステムの動作を検証するための手法を研究する．より具体的には，AIモジュールを含むソフトウェアへの適用を志向した，形式的仕様が与えられていないブラックボックスな部品を含むソフトウェアのための形式検証手法を研究する．
|
