The open source flight code that the NASA Mars drone is running (github.com) 68 points by kissgyorgy 5y ago ↗ HN
[–] ThePadawan 5y ago ↗ 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...
[–] MarcusE1W 5y ago ↗ 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? [–] jki275 5y ago ↗ It's old and nobody uses it anymore?
3 comments
[ 3.1 ms ] story [ 18.8 ms ] thread> 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...
You definitely can use C++ as well, but in a project like this, what would be the reasons not to use Ada?