Skip to content

Commit 1439b45

Browse files
committed
add notes
1 parent c3f2a98 commit 1439b45

1 file changed

Lines changed: 57 additions & 41 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2026-06-10

subcommittee/coding-guidelines/meetings/2026-06-10/minutes.md

Lines changed: 57 additions & 41 deletions
Original file line numberDiff line numberDiff line change
@@ -11,54 +11,35 @@
1111
## **Agenda**
1212

1313
1. Solicitation of notetaker
14-
2. Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-03/minutes.md)
14+
2. Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-03/minutes.md)
1515
3. Introduction of new members
16-
4. The SEI CERT Coding Standard for Fortran (David)
17-
- Read more here: https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/
16+
4. The SEI CERT Coding Standard for Fortran (David)
17+
- Read more here: [https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/](https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/)
1818
5. Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
19-
- MISRA C one from Markus has [merged](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432)
20-
- CERT C one from Oreste has [also merged](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/pull/582)
21-
- Live now at: https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html
22-
- Félix opened an [issue](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/issues/585) to track usability improvements in the appendices that's up for grabs
23-
- Pete will now mine these appendices for creating issues for contributors
24-
6. Interest in the MISRA C++ mapping (mira / Pete)
25-
- Updates on new things in the MISRA C++ => Rust mapping
26-
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
27-
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
28-
7. Review batches for [CERT C Rust Mapping](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/336) (Pete)
29-
- Let's split up again, to get some feedback on batch 2
30-
- [428 \[CERT C Review Batch 2/5\] Review proposed Rust categorization](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/428)
31-
- **Group A**
32-
1. xx
33-
2. xx
34-
3. xx
35-
4. xx
36-
- **Group B**
37-
1. xx
38-
2. xx
39-
3. xx
40-
4. xx
41-
5. xx
42-
8. Round table
19+
- MISRA C one from Markus has [merged](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432)
20+
- CERT C one from Oreste has [also merged](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/pull/582)
21+
- Live now at: [https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html](https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html)
22+
- Félix opened an [issue](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/issues/585) to track usability improvements in the appendices that's up for grabs
23+
- Pete will now mine these appendices for creating issues for contributors
24+
6. Interest in the MISRA C++ mapping (mira / Pete)
25+
- Updates on new things in the MISRA C++ \=\> Rust mapping
26+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
27+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
28+
7. Round table
4329

4430
## **Check-in area**
4531

46-
- xx
47-
- xx
48-
- xx
49-
- xx
50-
- xx
51-
- xx
52-
- xx
53-
- xx
54-
- xx
55-
- xx
56-
- xx
57-
- xx
32+
- David Svoboda (-:
33+
- Max Jacinto 📚
34+
- Kaneko Satoshi 🫥
35+
- Mira Baumann
36+
- Pete LeVasseur 💯
37+
- Oreste Bernardi 🧠
38+
- Markus Hosch
5839

5940
**Notetaker:**
6041

61-
- xx
42+
- David Svoboda
6243

6344
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the [Meeting Notetaker Role](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/docs/notetaker-role.md) doc.
6445

@@ -76,7 +57,42 @@ For tips on how we take notes in the Safety-Critical Rust Consortium, please see
7657

7758
## **Meeting Minutes**
7859

79-
- xx
60+
- Acceptance of [Previous Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-03/minutes.md): Accepted
61+
- Introduction of new members
62+
- The SEI CERT Coding Standard for Fortran (David)
63+
- Read more here: [https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/](https://www.sei.cmu.edu/blog/the-sei-cert-coding-standard-for-fortran/)
64+
- Standards published for almost 20 years 🎉
65+
- Fortran is new and still has some areas of improvement
66+
1. Rules: What to follow that are specific and should be followed
67+
2. Recommendations: Things you can violate if you’re careful
68+
- [TYP02-F. Prohibit implicit typing in all program units](https://cmu-sei.github.io/secure-coding-standards/sei-cert-fortran-coding-standard/types-typ/typ02-f)
69+
1. Kind of odd; don’t have to declare before usage
70+
2. If you just start using a variable, the letter that this variable name begins with determines its type
71+
3. Recommended to, for all variables explicitly declare types of them
72+
- CERT C has on the order of \~200+ total rules and recommendations, so call to action for if anyone else would like
73+
6. Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
74+
- MISRA C one from Markus has [merged](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432)
75+
- CERT C one from Oreste has [also merged](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/pull/582)
76+
- Live now at: [https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html](https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html)
77+
- Félix opened an [issue](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/issues/585) to track usability improvements in the appendices that's up for grabs
78+
- Pete will now mine these appendices for creating issues for contributors
79+
- Oreste: Items marked as ‘maybe’ are applicable to Rust. Formatting is a bit strange.
80+
- Pete: Will you create a new issue with whatever you consider needs still to be done?
81+
- Oreste: OK
82+
7. Interest in the MISRA C++ mapping (mira / Pete)
83+
- Updates on new things in the MISRA C++ \=\> Rust mapping
84+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
85+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
86+
- Mira: Most missing stuff is about inheritance. Would like review. Also lots of items about the standard library.
87+
- David: Difficult because MISRA C++ is not free.
88+
- Mira: Yes. I had to buy it.
89+
- Markus: Applicability of inheritance to Rust. Traits do have inheritance.
90+
- Mira: MISRA C++ was mostly about virtual inheritance. Also it has very little rules about templates.
91+
- Markus: It is good to think about how rules would apply in alternate technologies.
92+
- Pete: I have enlisted a MISRA C++ member to help out.
93+
8. Review batches for [CERT C Rust Mapping](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/336) (Pete) (tabled)
94+
9. Round table
95+
-
8096

8197
## **Material**
8298

0 commit comments

Comments
 (0)