Software is only as good as its requirements, generally. I see the issues with logic, completeness, and especially ambiguity in the aerospace industry, and I have in the past seen that aerospace is decades ahead of automotive.
Bad requirements almost never yield good software.
Requirement:
It has to work properly.