[imglorp]

There's some non-DOD avionics floating around that are ADA, I guess because of requirements and regulatory overlaps.

http://archive.adaic.com/projects/atwork/boeing.html

[cpeterso]

I've read that SpaceX uses C++. I'm surprised safety critical systems like SpaceX and Tesla don't use Ada. It's a mature safe language used in their industry, yet they choose C++.

From SpaceX's 2013 Reddit AMA: https://www.reddit.com/r/IAmA/comments/1853ap/we_are_spacex_...

[fjcp]

I don't have any experience on this field, but researching the subject some time ago I found that C/C++ is not unusual too. On the safety matter, when used in critical mission systems they usually follow a guideline or framework to ensure the reliability of the software, like MISRA C[0] for exemple. Another important point is that the development is real slow compared to other segments of software engineering and often takes several years to develop, with lots of tests and rigorous compliance with specifications.

Its an interesting field, but feels hard to get into.

[0] https://en.wikipedia.org/wiki/MISRA_C

[Recurecur]

From what I understand, the vast bulk of the onboard F-35 software is written in C++.

One wonders how much that's contributed to the lengthy delays in software delivery...

Regardless, it seems possible to eventually produce effective software using C++. ;-)

[non-entity]

Interesting. I imagine most Ada jobs (gov and non-gov) would have similar requirements to embedded jobs?