Link to meeting time in common time zones.
| Search Key | Description |
|---|---|
| todo | Action Item |
| decision | Something decided on |
| important | Key information |
- Solicitation of notetaker
- Acceptance of Previous Meeting Minutes
- Introduction of new members
- The SEI CERT Coding Standard for Fortran (David)
- Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
- MISRA C one from Markus has merged
- CERT C one from Oreste has also merged
- Live now at: https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html
- Félix opened an issue to track usability improvements in the appendices that's up for grabs
- Pete will now mine these appendices for creating issues for contributors
- Interest in the MISRA C++ mapping (mira / Pete)
- Updates on new things in the MISRA C++ => Rust mapping
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
- Please register interest on this Zulip thread
- Round table
- David Svoboda (-:
- Max Jacinto 📚
- Kaneko Satoshi 🫥
- Mira Baumann
- Pete LeVasseur 💯
- Oreste Bernardi 🧠
- Markus Hosch
Notetaker:
- David Svoboda
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the Meeting Notetaker Role doc.
- Document space: coding-guidelines
- Zulip: safety-critical-consortium: Coding Guidelines
- Kanban board
contributor experienceviewcoding guidelineview
- xx
- Acceptance of Previous Meeting Minutes: Accepted
- Introduction of new members
- The SEI CERT Coding Standard for Fortran (David)
- Read more here: https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/
- Standards published for almost 20 years 🎉
- Fortran is new and still has some areas of improvement
- Rules: What to follow that are specific and should be followed
- Recommendations: Things you can violate if you’re careful
- TYP02-F. Prohibit implicit typing in all program units
- Kind of odd; don’t have to declare before usage
- If you just start using a variable, the letter that this variable name begins with determines its type
- Recommended to, for all variables explicitly declare types of them
- CERT C has on the order of ~200+ total rules and recommendations, so call to action for if anyone else would like
- Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
- MISRA C one from Markus has merged
- CERT C one from Oreste has also merged
- Live now at: https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html
- Félix opened an issue to track usability improvements in the appendices that's up for grabs
- Pete will now mine these appendices for creating issues for contributors
- Oreste: Items marked as ‘maybe’ are applicable to Rust. Formatting is a bit strange.
- Pete: Will you create a new issue with whatever you consider needs still to be done?
- Oreste: OK
- Interest in the MISRA C++ mapping (mira / Pete)
- Updates on new things in the MISRA C++ => Rust mapping
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
- Please register interest on this Zulip thread
- Mira: Most missing stuff is about inheritance. Would like review. Also lots of items about the standard library.
- David: Difficult because MISRA C++ is not free.
- Mira: Yes. I had to buy it.
- Markus: Applicability of inheritance to Rust. Traits do have inheritance.
- Mira: MISRA C++ was mostly about virtual inheritance. Also it has very little rules about templates.
- Markus: It is good to think about how rules would apply in alternate technologies.
- Pete: I have enlisted a MISRA C++ member to help out.
- Review batches for CERT C Rust Mapping (Pete) (tabled)
- Round table
Any material to read before the meeting should be included here.
Overview of Safety-Critical Rust Rust Project Goals Roadmap (Pete)
- Soliciting those interested in Normative Documentation for Sound unsafe Rust goal
- Register interest here on Rust Zulip
- Soliciting those interested in Establish a Spot for Safety-Critical Lints in Clippy goal
- Register interest here on Rust Zulip