I work for a medical device manufacturer, and software absolutely can be designed to be just as reliable as physical systems, but the development and testing process looks completely different than a developing a mobile app. Things slow WAY down: if you want to change one line of code, it'll take literally weeks before it makes it to a production environment because of all the testing, documentation, justification, and human approvals. I imagine flight safety systems are subject to a similar level of rigor.

> I imagine flight safety systems are subject to a similar level of rigor.

Not for cars tho. Cars can be expected to be as reliable as the average windows PC unless there are regulations made and accountability assigned

Obligatory mention of SQLight going the DO-178B route.

https://corecursive.com/066-sqlite-with-richard-hipp/#testin...

"Richard Hipp: Getting that last 5% is really, really hard and it took about a year for me to get there, but once we got to that point, we stopped getting bug reports from Android.

"Richard Hipp: Yes, so we’ll do billions of tests."

This is a safety standards issue not a "software" issue. Standards for airplane software are very high

Most planes have been fly-by-wire for decades and aren't regularly falling out of the sky

Software is much easier to break accidentally than a valve.