蓮尾メタ数理システムデザインプロジェクト

研究総括　蓮尾一郎
（国立情報学研究所アーキテクチャ科学研究系　教授）
研究期間：2016年10月～2025年3月
※本プロジェクトは、追加支援期間（機関継承型）の枠組みにより当初研究期間を（3年）延長し、2025年3月までJSTが支援を行うことになりました。
グラント番号：JPMJER1603

今日の製造業では高度な情報処理技術を用いた根本的な変革が進んでいます。本プロジェクトでは従来のものづくり技術にソフトウェア科学の成果を導入し、仕様策定から設計、実装、保守まで工業製品開発のさまざまな側面を支援する手法・ツール群の構築を目指します。

具体的には、「形式手法」というソフトウェア科学における論理的設計技法を取り込むことにより、製品の品質・安全性保証や効率化の支援を大きく推進します。形式手法の製造業適用においては、確かな結論のみをボトムアップに積み上げていく従来の論理学応用とは異なり、最終目標をトップダウン・ベストエフォートな形で分解していくことを通じた「モデリングの壁」の突破が必要となります。

追加支援期間（機関継承型）ではこのブレイクスルーを、形式手法の数理的基盤を更に掘り下げて統計的手法と融合することにより追求します。この成果を「ICT技術への社会的信頼」という旗のもと結集し、特に自動運転領域に対して社会展開します。また、本プロジェクトを学術研究と産業応用の両面におけるソフトウェア研究、ICTシステム研究のセンターとして位置付け、国内外の研究機関・企業と連携して研究を進めます。

fig1