You really do not need to exercise such caution with SQLite. Because of the DO-178B status, SQLite is sufficiently reliable to be used with in-flight avionics

You really do not need to exercise such caution with SQLite. Because of the DO-178B status, SQLite is sufficiently reliable to be used with in-flight avionics (on Airbus A350 models, noted so far). The test suite requires every branch instruction to be exercised at the machine-language level, in both directions if conditional. The software that we are used to is not held to this exacting standard. If we were talking about Oracle or SQL Server, .0 version hesitance is valid, and SQLite tests have crashed both of them, repeatedly. Obviously, they cannot be used with applications requiring DO-178B compliance. This document is part of that testing compliance: https://www.sqlite.org/qmplan.html https://www.sqlite.org/qmplan.html