4 ms·
> Aviation-grade testing → Every machine-code branch instruction is tested in both directions. It sounds really cool. And even if in the end everyone benefit f
by wiz21c 1y ago
> Aviation-grade testing → Every machine-code branch instruction is tested in both directions.
It sounds really cool. And even if in the end everyone benefit from that, I wonder who requested that (if someone did)... I mean, it's expensive to test up to that level...
- hiAndrewQuinn 1y agoI believe it was requested by some commercial company. What I find much more astonishing is that this all managed to happen for a public domain product.
- pstuart 1y agoThe company in question is Airbus.
- depr 1y agoKeep in mind that though it is often claimed that SQLite is DO-178B certified, they do not claim that themselves, they merely say DO-178B-inspired: https://www.sqlite.org/hirely.html https://www.sqlite.org/hirely.html And while Airbus confirmed they are using SQLite, they did not claim they are using it in safety critical parts, which D. Richard Hipp confirms here: https://news.ycombinator.com/item?id=18039303 https://news.ycombinator.com/item?id=18039303