Bringing Rust to Safety-Critical Systems in Space (arxiv.org)
from vit@lemmy.ml to rust@lemmy.ml on 30 May 2024 21:16
https://lemmy.ml/post/16273396

…Set of recommendations for the development of safety-critical space systems in Rust…

…During the execution of our rewriting case study, we identify and fix three previously undiscovered vulnerabilities in a popular open-source satellite communication protocol…

#rust