戦略的基盤技術高度化支援事業
| 2017年9月 – 2020年3月 | 積雪寒冷地の交通弱者移動支援のための雪道走行を可能とする自動運転技術の開発 |
|---|---|
| 2017年9月 – 2020年3月 | 自律的自動運転の実現を支える人工知能搭載システムの安全性立証技術の研究開発 |
| 2014年10月 – 2017年3月 | 農業機械のさらなる高度化と海外進出に資する次世代電子制御ソフトウェア基盤開発 |
| 2012年7月- 2015年3月 | 形式手法を活用した組込みセキュリティ技術の確立と安全・安心なCPS社会を支える無線通信ミドルウェアの開発 |
ものづくり・商業・サービス革新補助金
| 2015年7月 – | 形式手法を用いたソフトウェア開発のための要件分析支援ツールの開発 |
|---|
ものづくり中小企業・小規模事業者試作開発等支援補助金
| 2014年8月 – 2015年5月 | 自動詳細化による高品質ソフトウェアの高効率製造ツールの開発 |
|---|
ものづくり・商業・サービス革新補助金
| 2013年8月 – 2014年5月 | 形式手法適用コストを低減する組込みソフトウェア開発向け形式モデルライブラリの試作開発 |
|---|