List of items needing to be addressed for Rust adoption into Aerospace

[tyler124]

First off, thanks for creating this group. I also think Rust has great potential in aerospace.

I think it would be beneficial to list the main items needing to be addressed for Rust to be adopted into the aerospace industry.

I'll start:

• Certification of Rust compiler to meet aerospace industry standards. See https://github.com/ferrous-systems/sealed-rust.

• Full compiler support for architectures frequently used in aerospace, e.g. SPARC v8.

[tones111]

While not specific to the aerospace industry rust adoption will require integration of rust into existing bodies of code. Clean slate rewrites are rare in my experience. Fortunately there has been some trail blazing (Firefox, librsvg, etc) to learn from.

For aerospace a strong interop story for C will likely be needed to link with existing C/C++/Ada code. I think this group may have an overlap of interest with the wg-ffi group proposed by @joshtriplett (presentation).

[pwnorbitals]

As far as I can understand, we would need to provide what's needed to enable an organization to comply with DO-178, by having qualified development and verification tools