Aerospace QA is expensive by definition, because reliability nines generally are, whatever the industry: an additional nine costs 10x. You can go cheaper, but with a corresponding decrease in reliability.
That is probably true, and might help - but that only gets you so far, can't program your way out of everything. For high reliability, you'll need redundancy (and thus fallback and voting and whatnot), which will a) drive up HW costs, while also b) increasing complexity.
I do agree there are some LHF opportunities to learn from aviation, but doing that is insufficient.
