| 研究課題/領域番号 |
26K21195
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
Hsieh Chiao (謝橋) 北陸先端科学技術大学院大学, 先端科学技術研究科, 特任助教 (71006426)
|
|---|
| 研究期間 (年度) |
2026-04-01 – 2029-03-31
|
| 研究課題ステータス |
交付 (2026年度)
|
| 配分額 *注記 |
3,250千円 (直接経費: 2,500千円、間接経費: 750千円)
2028年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2027年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2026年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
|
|---|
| キーワード | 形式検証 / サイバーフィジカルシステム / ソフトウェア検証 / 人工知能 |
|---|
| 研究開始時の研究の概要 |
Verification and validation (V&V) of cyber-physical systems (CPS) is a crucial procedure for building trustworthy safety-critical systems such as self-driving cars. Recently, Artificial Intelligence (AI) in CPS further leads to the black-box AI problem and hard-to-formalize perceptual tasks. Perception contracts address these difficulties by specifying guarantees of AI perception under assumed environments. Studying contracts for AI perception can help us understand expected capabilities and limitations of AI under different and changing scenarios to increase the trustworthiness of CPS and AI.
|
