[rrrrrrrrrrrryan]

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.

[worik]

> 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

[noAnswer]

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."