News for hackers. Stuff that matters.
Re:Sealed Rust: A plan to bring Rust to safety critical soft... by wadim on Wednesday June 05, 2019 @02:14PM (#20107462)
Have you thought about also looking at the guidelines for MISRA C++? The AUTOSAR ones[1] are fairly recent and might be a bit closer to Rust.

[1] https://www.autosar.org/fileadmin/user_upload/standards/adap...

Re:Sealed Rust: A plan to bring Rust to safety critical soft... by pjmlp on Thursday June 06, 2019 @03:19AM (#20112288)
Thanks for providing them, I wasn't aware that AUTOSAR was freely available.