While I’m not sure about avionics, there’s some aerospace and automotive uses in non-critical places. A version of the rust compiler is undergoing certification

While I’m not sure about avionics, there’s some aerospace and automotive uses in non-critical places. A version of the rust compiler is undergoing certification so that it can be, but that work is not yet complete. Also, there are multiple implementations, though they are in various stages of completion.