Well, NASA trusts Linux enough to send it to Mars. They build rockets, so it should be good enough for flying busses. Unless you don’t trust your software engineers, but then having them build a custom microkernel OS instead sounds not much better.
Every NASA crewed launch to ISS from US soil is on a stack that uses Linux for avionics: Falcon 9 and Dragon 2. The Starlink constellation is also a massive deployment of Linux nodes in space.
The other crewed system from the people concerned about Linux safety culture hasn’t flown people yet and probably won’t this year. They somehow managed to have two critical software failures on their first orbital flight test, either of which would have caused loss of vehicle without intervention and which should have been caught with comprehensive in the loop testing.
Well, NASA trusts Linux enough to send it to Mars. They build rockets, so it should be good enough for flying busses. Unless you don’t trust your software engineers, but then having them build a custom microkernel OS instead sounds not much better.
Every NASA crewed launch to ISS from US soil is on a stack that uses Linux for avionics: Falcon 9 and Dragon 2. The Starlink constellation is also a massive deployment of Linux nodes in space.
The other crewed system from the people concerned about Linux safety culture hasn’t flown people yet and probably won’t this year. They somehow managed to have two critical software failures on their first orbital flight test, either of which would have caused loss of vehicle without intervention and which should have been caught with comprehensive in the loop testing.