自動車業界では、近年、車載情報制御系システムを中心として、ソフトウエアの大規模化が進み、抜本的な開発の効率化が求められている。両社は、これに対し、モデルベース開発による開発効率化に取り組んできた。

しかし、自動車のソフトウエア開発において、自動車メーカーと自動車部品メーカーのやり取りは、人の手で文章や図表を記載した仕様書を用いている。このため、記述のあいまいさ...