It does sound like something you’d expect unit and integration tests to catch, but I am not sure that necessitates the use of off the shelf libraries?

In the context of a space helicopter, I’d guess that deep understanding and ownership of each software component is super important when you’re likely to have to support a debug it from millions of miles away. At this scale, and in this context, doesn’t “rolling your own” critical components, in some cases, make sense?