From "Industry forms consortium to drive adoption of Rust in safety-critical systems" (2024-06) https://thenewstack.io/rust-the-future-of-fail-safe-software-de

From "Industry forms consortium to drive adoption of Rust in safety-critical systems" (2024-06) https://thenewstack.io/rust-the-future-of-fail-safe-software-development/ https://thenewstack.io/rust-the-future-of-fail-safe-software... .. https://news.ycombinator.com/item?id=40680722 https://news.ycombinator.com/item?id=40680722 rustfoundation/safety-critical-rust-consortium > subcommittee/coding-guidelines/meetings/2025-January-29/minutes.md: https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2025-January-29/minutes.md#round-table https://github.com/rustfoundation/safety-critical-rust-conso... : > The MISRA guidelines for Rust are expected to be released soon but at the earliest at Embedded World 2025. This guideline will not be a list of Do’s and Don’ts for Rust code but rather a comparison with the C guidelines and if/how they are applicable to Rust. /? ' is:issue concurrency: https://github.com/rustfoundation/safety-critical-rust-consortium/issues?q=is%3Aissue%20concurrency https://github.com/rustfoundation/safety-critical-rust-conso... rust-secure-code/projects#groups-of-people: https://github.com/rust-secure-code/projects#groups-of-people https://github.com/rust-secure-code/projects#groups-of-peopl... Rust book > Chapter 16. Concurrency: https://doc.rust-lang.org/book/ch16-00-concurrency.html https://doc.rust-lang.org/book/ch16-00-concurrency.html Chapter 19. Unsafe Rust > Unsafe Superpowers: https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#unsafe-superpowers https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#unsa... : > You can take five actions in unsafe Rust that you can’t in safe Rust, which we call unsafe superpowers. Those superpowers include the ability to: "Secure Rust Guidelines" has Chapters on Memory Management, FFI but not yet Concurrency; 04_language.html#panics: > Common patterns that can cause panics are: Secure Rust Guidelines > Integer overflows in Rust: https://anssi-fr.github.io/rust-guide/04_language.html#integer-overflows https://anssi-fr.github.io/rust-guide/04_language.html#integ... : > In particular, it should be noted that using debug or release compilation profile changes integer overflow behavior. In debug configuration, overflow cause the termination of the program (panic), whereas in the release configuration the computed value silently wraps around the maximum value that can be stored. awesome-safety-critical #software-safety-standards: https://awesome-safety-critical.readthedocs.io/en/latest/ https://awesome-safety-critical.readthedocs.io/en/latest/