[valarauca1]

>Why isn't [..] software like this built and audited [...] for reliability and security as avionics, medical equipment, SCADA, etc.?

Imply that it is. It very very often isn't at all.