4 ms·
The proof of the pudding is in the tasting. I can't find any evidence online that anyone has ever used Rust in software where its correctness needs to be certif
by ajxs 3y ago
The proof of the pudding is in the tasting. I can't find any evidence online that anyone has ever used Rust in software where its correctness needs to be certified, and audited with something like DO-178C. I think that settles the debate. Maybe Rust could be as safe as Ada, once the Rust type system has been proven, and there's a verified compiler. Those things haven't happened yet though, so it's not likely to be used in a safety-critical environment anytime soon. Ada has been used in this area for decades.
- Faaak 3y agoYou might be interested in https://ferrous-systems.com/ferrocene/ https://ferrous-systems.com/ferrocene/, which " is a ISO 26262 (ASIL D) and IEC 61508 (SIL 4) qualified version of the existing open-source compiler, rustc, based on Rust 1.68."
- jeffreygoesto 3y agoYou were one minute faster :). Golf clap.
- jeffreygoesto 3y agoIt is just a matter of time and one important step has been achieved recently. https://ferrous-systems.com/blog/officially-qualified-ferrocene/ https://ferrous-systems.com/blog/officially-qualified-ferroc...
- ajxs 3y agoOh, pardon me. I didn't realise Rust had a qualified compiler already. It looks like this is what Ferrous Systems was working on with AdaCore.