Sealed Rust: A plan to bring Rust to safety critical software domains

Re:Sealed Rust: A plan to bring Rust to safety critical soft... by thenewwazoo on Wednesday June 05, 2019 @02:01PM (#20107303)

I've got a partially-complete blog post about what "MISRA Rust" would look like (based on MISRA C rules). A surprisingly small amount is relevant. That's a far smaller undertaking, but I found it to be encouraging. There are entire classes of considerations you can dispense with entirely due to how the Rust language works. That gives me hope that this work would be smaller in scope than trying to do many other languages.

[ Parent | on HN ]

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...

[ Parent | on HN ]

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.

[ Parent | on HN ]

Re:Sealed Rust: A plan to bring Rust to safety critical soft... by Argorak on Wednesday June 05, 2019 @02:15PM (#20107474)

We'd be super interested in talking and giving feedback on the draft! If you are interested, feel free to get in touch somewhere, preferably on [email protected]?

[ Parent | on HN ]

Re:Sealed Rust: A plan to bring Rust to safety critical soft... by hobofan on Wednesday June 05, 2019 @02:15PM (#20107478)

> There are entire classes of considerations you can dispense with entirely due to how the Rust language works.

That sounds like it would still be necessary to standardize, specify and prove a lot about Rust and its compiler, to exploit those facets of Rusts' behaviour?

[ Parent | on HN ]