ACTUALLY, that's not at all true. the new hotness is to create model-based designs, then feed that into a 'code generator' and that makes provably safe and secure runtime code. its been this way for a while (not on linux, though) and it moves the 'logic' up a level.
google 'autosar' for what I'm talking about. or add 'autosar asil d' for your search.
one search result: AUTOSAR | Vector (although I hate to send people to Vector; their stuff is so expensive and they have such an attitude, as a company. but they are the #1 in that field, fwiw)
So you are saying they could just pour their whole NN database, compiler etc. and out pops perfect code.
Awesome. Problem solved.
Or that they could pour in say even the voice command code and out pops perfect code that would work for every voice !!
I'm sure there are some closed systems that you can prove all bases are covered and the code won't crash but this is was more complex than that.