Yep, and most of those applications have a certification attached, "Functional Safety Engineer", which most of of Silicon Valley don't seem to know exists.

It is a way of archtitecting systems building software, sometimes quite trivial in terms of "code lines" to an attempted known quality which suits the consequences of failing.

You generally only use it when the result will be litigation around fatalities or permanently disabling injuries, so this just proves the whole point - some software needs engineering, some software is better to produce as quickly as possible and see where it goes.