Nice to see it's just software like any other [0]:

> Traditional C/C++ strings typically use "ascii" encoding. Hence being used here. However, should F prime be updated to use some other encoding, this value may be changed. > DATA_ENCODING = "utf-8"

[0] https://github.com/nasa/fprime/blob/devel/Fw/Python/src/fpri...

I wonder, is this not a prime use case for Ada or even SPARK (the provable sub set of Ada) ?

You definitely can use C++ as well, but in a project like this, what would be the reasons not to use Ada?

It's old and nobody uses it anymore?