戦略的基盤技術高度化支援事業

2017年9月 – 2021年3月積雪寒冷地の交通弱者移動支援のための雪道走行を可能とする自動運転技術の開発
2017年9月 – 2021年3月自律的自動運転の実現を支える人工知能搭載システムの安全性立証技術の研究開発
2014年10月 – 2017年3月農業機械のさらなる高度化と海外進出に資する次世代電子制御ソフトウェア基盤開発
2012年7月- 2015年3月形式手法を活用した組込みセキュリティ技術の確立と安全・安心なCPS社会を支える無線通信ミドルウェアの開発

ものづくり・商業・サービス革新補助金

2015年7月 –形式手法を用いたソフトウェア開発のための要件分析支援ツールの開発

ものづくり中小企業・小規模事業者試作開発等支援補助金

2014年8月 – 2015年5月自動詳細化による高品質ソフトウェアの高効率製造ツールの開発

ものづくり・商業・サービス革新補助金

2013年8月 – 2014年5月形式手法適用コストを低減する組込みソフトウェア開発向け形式モデルライブラリの試作開発