Bringing Rust to Safety-Critical Systems in Space

Lukas Seidel, Julian Beier

The development of safety-critical aerospace systems is traditionally dominated by the C language. Its language characteristics make it trivial to accidentally introduce memory saf…