Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/07/2026So if you'd to join the SCRC Room at RustConf 2026, please join the Consortium via the GitHub issue template! That way you'll receive the email reminder later this week for self-nomination to join. 020
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/07/2026We are tentatively looking to hold the SCRC room on September 7th, 2026. I know! This is overlapping with holidays both in the USA and Canada. But it's currently the best slot, given the Tuesday workshops, the Conference, and the Unconf. 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/07/2026If you've not yet joined the Safety-Critical Rust Consortium, it's easy. You can submit the following GitHub issue template: github.com/Safety-Criti...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/07/2026Going to be at @rustconf.com 2026? Interested in safety-critical systems like Automotive and Avionics? 🦀🦺 We'll be at RustConf 2026 with a Safety-Critical Rust Consortium Room! Big thank you to @adacore.bsky.social for sponsoring the room 🎉 Check below on how to join! 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/05/2026Meeting notes will be published after a bit of clean up, likely next week. 020
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/05/2026Want to extend heartfelt gratitude to - @rustnl.bsky.social for hosting the Safety-Critical Rust Consortium at the RustWeek Unconf - @ferroussystems.bsky.social for sponsoring the SCRC room And of course -- to our members for coming out and making sparks fly with ideas! 140
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Thank you to everyone who contributed in March towards making Rust even more suitable for safety-critical applications! 011
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026We of course would love to have your support as well! If you're interested in getting involved with the effort of writing Clippy lints, you can register your interest here: rust-lang.zulipchat.com#narrow/chann...rust-lang.zulipchat.comPublic view of rust-lang | Zulip team chatBrowse the publicly accessible channels in rust-lang without logging in. 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Implement and Maintain MC/DC Coverage Support: The goal has been accepted, and the design will be presented at an upcoming t-compiler meeting. rust-lang.github.io/rust-project...rust-lang.github.ioImplement and Maintain MC/DC Coverage Support - Rust Project GoalsPress ← or → to navigate between chapters 120
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Normative Documentation for Sound unsafe Rust: We received support from t-opsem via Ralf Jung; coordination with several parties on the work is underway. rust-lang.github.io/rust-project...rust-lang.github.ioNormative Documentation for Sound `unsafe` Rust - Rust Project GoalsPress ← or → to navigate between chapters 120
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Establish a Spot for Safety-Critical Lints in Clippy: We have support from t-clippy on this; working out details now, with more information at RustWeek 2026 rust-lang.github.io/rust-project...rust-lang.github.ioEstablish a Spot for Safety-Critical Lints in Clippy - Rust Project GoalsPress ← or → to navigate between chapters 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Stabilize FLS Release Cadence: we got buy-in from the other t-fls members; will be done rust-lang.github.io/rust-project...rust-lang.github.ioStabilize FLS Release Cadence - Rust Project Goals 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026In collaboration with the Rust Project we've gotten several Project Goals accepted by teams. That then formed into the Safety-Critical Rust roadmap: rust-lang.github.io/rust-project... We'll go through them in-turn.rust-lang.github.ioSafety-Critical Rust - Rust Project GoalsPress ← or → to navigate between chapters 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026We will make a push this year to have coding guidelines written for those items marked as applicable in mappings from MISRA C and CERT C. If you'd like to become involved with the MISRA C++ mapping effort, you can register interest here: rust-lang.zulipchat.com#narrow/chann...rust-lang.zulipchat.comPublic view of rust-lang | Zulip team chatBrowse the publicly accessible channels in rust-lang without logging in. 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026We had a significant push by reviewers in March to review the CERT C => Rust mapping for applicability: github.com/rustfoundati... The plan is to have this be digested and then refined into a table in one of the coding guidelines' appendices alongside one for MISRA C.github.com[Tracking Issue] Mapping of CERT C to Rust Guidelines · Issue #336 · rustfoundation/safety-critical-rust-coding-guidelinesThis is the CERT C List to clear them all. TLDR This is the full list, in the original CERT C order. Shorter tables are down below. To jump to one of those: List of rules that DO NOT map to Rust, a... 121
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Next, we'd direct your attention to the analysis performed for Rust readiness in Automotive (ISO 26262), the first screenshot at the top post: arewesafetycriticalyet.org/docs/iso26262arewesafetycriticalyet.orgISO 26262 vs. Rust Gap Analysis | Are We Safety Critical Yet?ISO 26262 is a standard comprising 12 parts, covering Vocabulary, Management, System-, Hardware-, and Software-Level, as well as supporting processes and general guidelines. 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026First off -- we had a nice overhaul of the homepage of arewesafetycriticalyet.org which displays readiness of Rust for various standards (some incomplete, we welcome contributions!) 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/04/2026Hey folks, here's the Safety-Critical Rust Consortium's March 2026 Newsletter Key highlights: - RustWeek 2026 SCRC room secured, thank you to @ferroussystems.bsky.social for sponsoring it - CERT C => Rust mapping got major reviews - ISO 26262 + Rust readiness analysis ready (more follow in-thread) 161
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026Interested in joining? See the quoted post: bsky.app/profile/safe... 000
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026We're always happy to learn about more tools that'd be suitable for using with Rust in a safety-critical setting! Submit them here: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026Interested in getting involved? We're looking for review of the CERT C => Rust mappings done, so check out this issue and similar ones to take a look: github.com/rustfoundati...github.com[CERT C Review Batch 1/5] Review proposed Rust categorization · Issue #427 · rustfoundation/safety-critical-rust-coding-guidelinesContext Thanks for taking a look at this batch. This issue is part of the follow-on work from #336, where Félix finished a first pass mapping CERT C rules into Rust-oriented categories. The goal he... 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026Check out the coding guidelines repo here: github.com/rustfoundati...github.comGitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines 210
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026The coding guidelines repo had improvements + new guidelines: - Improved guidelines-bot to stabilize it and and added state locking so review state stays accurate. - Merged new coding guidance on keeping `unsafe` visible in unsafe code and on avoiding reads from uninitialized union fields. 210
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026From subcommittees: - Tooling discussions focused on publishing the tools list on the website, MC/DC coverage scope, and how to present Rust readiness against safety standards. - Coding Guidelines discussions revolved around CERT C and MISRA C scope and incomplete > incorrect guidelines 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026We landed the baseline RFC for how the Consortium works, you can read here for more: github.com/rustfoundati...github.comAdd Consortium baseline operations so that we may clearly note changes in the future by PLeVasseur · Pull Request #4 · rustfoundation/safety-critical-rust-consortium-rfcs 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026The Safety-Critical Rust roadmap was a collaboration between the SCRC, t-goals, t-clippy, t-opsem, t-compiler, and t-fls. Read more here and get involved if interested! rust-lang.github.io/rust-project...rust-lang.github.ioSafety-Critical Rust - Rust Project Goals 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 21/03/2026Hey folks 👋 February newsletter coming out a bit late, but better than never! Highlights: - baseline SCRC RFC got merged - increased stability and review guidance for coding guidelines - the Safety-Critical Rust roadmap was accepted into the Rust Project Goals 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026If you're interested in getting involved, come on over! It's as easy as starting by submitting this GitHub issue template: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 012
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026Contributions to the Consortium are not code, for the most part (cont'd): - collecting together appropriate sets of tools for different stages of a safety-critical systems development - writing coding guidelines (okay, a little code here for examples) 111
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026Contributions to the Consortium are not code, for the most part: - leveraging functional safety knowledge of an industry to support readiness testing and reporting like what Stefan has done 101
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026It all started with Stefan reaching out on the Rust Zulip and asking if he could help in some way. When we found out he'd been mentored by someone on the the original ISO 26262 committee and had deep background in functional safety, the next steps seemed obvious! 101
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026arewesafetycriticalyet.orgarewesafetycriticalyet.orgAre We Safety Critical Yet? | Are We Safety Critical Yet?Tracking Rust's readiness for safety-critical software development across ISO 26262, IEC 61508, and DO-178C. 101
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/03/2026Shout out to Stefan Akatyschew for the work he did on mapping out how ready Rust is for Automotive! (ISO 26262) 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 09/02/2026Safety-Critical Rust Coding Guidelines: each guideline now renders as a standalone page, plus improvements to RST warning order, label handling, and FLS audit triage. For the page layout change, check this PR: github.com/rustfoundati...github.comRender each guideline as a standalone page by PLeVasseur · Pull Request #385 · rustfoundation/safety-critical-rust-coding-guidelinesSummary Replace guideline include files with standalone guideline pages and chapter toctrees Update guideline tooling and scans to handle .rst pages directly Fix linkcheck flag behavior and a bibl... 000
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 09/02/2026Consortium repo: we clarified the tools change flow (vendor contact now after PR creation), added the AbsInt aiT WCET Analyzer tool entry, and refreshed subcommittee rosters. If you want details, check this PR: github.com/rustfoundati...github.comAdjust tools flow by manczak-ifx · Pull Request #553 · rustfoundation/safety-critical-rust-consortiumAdded a final optional step to inform the Vendor about any modification o the respective tool information 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 09/02/2026January 2026 SCRC recap: across the consortium, coding guidelines, and RFCs repos we merged 21 PRs and closed 18 issues. The coding guidelines repo shipped prereleases 0.1.19-0.1.21. (more below) 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 28/01/2026Did you know that: The Coding Guidelines Subcommittee rotates their meeting to make it easier for regions to join? - Americas + Europe-friendly - Europe + Asia-Pacific-friendly - Asia-Pacific + Americas-friendly If you're located in Asia-Pacific we'd love to have you! bsky.app/profile/safe... 020
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/01/2026If you'd like to get involved, it's easy! bsky.app/profile/safe... 000
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/01/2026Tooling Subcommittee members have done a great job in standing up a process. Check it out if you're a tooling vendor, run an open source project, or know of some tool which could be useful in safety-critical systems development when using Rust: arewesafetycriticalyet.org/tooling/rfc-...arewesafetycriticalyet.orgTools List Maintenance Flows | Are We Safety Critical Yet?This section defines how the tools list is managed by the tooling subcommittee. 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 16/01/2026Does your company produce tooling in the safety-critical space? Can it be used with Rust? We'd love to hear from you! Today we had a representative from AbsInt describe how tooling works on Rust software. It operates at the binary level. (beep boop) More on how to get involved below 100
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 12/01/2026Make sure to consult the following table and always check with your Dungeon Master or Game Master for any homebrew rules when employing Safety-Critical Rust! ⤵ 042
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 10/01/2026The Safety-Critical Dice have arrived! 🎲 As a Consortium member put it: "we put the safety-critical logo on the critical miss side to keep you safe!" We hope to be able to hand them out at Rust conferences this year. 131
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 28/12/2025You can submit the application in parallel to join one of our subcommittees! - Coding Guidelines - Liaison - Tooling Click here to do so: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 010
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 28/12/2025Curious about joining the Safety-Critical Rust Consortium? It's as easy as submitting a GitHub issue: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 120
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025You can then join a subcommittee of interest: - coding guidelines - liaison - tooling By submitting an issue here: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 020
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025If you're interested in joining the Safety-Critical Rust Consortium, submit an issue here: github.com/rustfoundati...github.comBuild software better, togetherGitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects. 120
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025And here's the coding guidelines repo: github.com/rustfoundati...github.comGitHub - rustfoundation/safety-critical-rust-coding-guidelines: Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium.Coding Guidelines for Safety Critical Rust developed by the Safety Critical Rust Consortium. - rustfoundation/safety-critical-rust-coding-guidelines 111
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025There's some other recent updates that we'll share soon! For now if you'd like to check out the deployed version, here's a link to the Expressions chapter: coding-guidelines.arewesafetycriticalyet.org/coding-guide...coding-guidelines.arewesafetycriticalyet.orgExpressions — Safety-Critical Rust Coding Guidelines 0.1 documentation 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025Miri can be run on any example code block so annotated with the `:miri:` option. Plus, now any code block which includes `unsafe` will fail the build unless `:miri:` is attached with an attestation that either: - UB should not happen (`:miri:`) - UB should happen (`:miri: expect_ub`) 110
Safety-Critical Rust Consortium @safetycriticalrust.bsky.social · 25/12/2025It was important for us to have fully compilable code available in the examples so that if copied, we'd provide something copy-pasteable easily into the Rust Playground or your own project to begin with. 110
