高い生産性を持つ高信頼ソフトウェア作成技術の開発

プロジェクトリーダー：片山 卓也教授（北陸先端大学）

記憶容量や計算速度等の制約が大きい場合でも、その制約にあわせて組み込みソフトウェアを自動生成する技術（開発コスト・開発時間を5分の1に削減）の研究開発を行う。