| Project/Area Number |
24K23861
|
|---|
| Research Category |
Grant-in-Aid for Research Activity Start-up
|
| Allocation Type | Multi-year Fund |
|---|
| Review Section |
1001:Information science, computer engineering, and related fields
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
Hsieh Chiao (謝橋) 京都大学, 情報学研究科, 特定研究員 (71006426)
|
|---|
| Project Period (FY) |
2024-07-31 – 2026-03-31
|
| Project Status |
Granted (Fiscal Year 2024)
|
| Budget Amount *help |
¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2024: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
|
|---|
| Keywords | 形式検証 / サイバーフィジカルシステム / 安定性解析 / ブラックボックスモデル |
|---|
| Outline of Research at the Start |
Verification and validation (V&V) is a crucial procedure for certifying the safety of cyber-physical systems (CPS) such as self-driving cars. The goal is to certify the safety through rigorous analyses on mathematical models of CPS. This project particularly studies stability analyses on CPS models by only sampling inputs and outputs from CPS, i.e., a black box approach. The project further aims to address high volume of samples and speed up the stability analysis by parallelization. PI believes that this is a step toward a practical V&V framework for safety-critical CPS in the future.
|
