I don't think "government" means "good engineering", I think that it should be thoroughly vetted by sufficient expertise.

I'm not sure if the FDA or FAA are capable of doing that, given how the government is really, really bad at building or contracting software (in general).

If only we could have some kind of standardized software to power these devices that is built by the community at large and thoroughly reviewed for correctness. Even at the cost of limiting hardware, I think that's an option.