Skip to content

Commit 579ea4c

Browse files
arshadmPLeVasseur
andauthored
add coding guidelines meeting minutes for 2026-05-06 (#644)
* coding guidelines agenda 2026-05-06 * add coding guidelines meeting minutes for 2026-05-06 [#644] --------- Co-authored-by: Pete LeVasseur <plevasseur@gmail.com>
1 parent b7112b5 commit 579ea4c

1 file changed

Lines changed: 90 additions & 0 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2026-05-06
Lines changed: 90 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,90 @@
1+
# **Coding Guidelines Subcommittee Meeting on 2026-05-06 @ 1600 CEST / 1100 EDT**
2+
3+
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,12,2643743,8,1850147,100,14,14&h=5&date=2026-5-6&sln=11-12&hf=1) to meeting time in common time zones.
4+
5+
6+
| Search Key | Description |
7+
| ---------- | -------------------- |
8+
| todo | Action Item |
9+
| decision | Something decided on |
10+
| important | Key information |
11+
12+
13+
## **Agenda**
14+
15+
1. Solicitation of notetaker
16+
2. Acceptance of
17+
- [Previous Americas + Europe Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-04-29/minutes.md)
18+
- [Previous Asia Pacific + Americas Meeting Minutes](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-05-01/minutes.md)
19+
3. Introduction of new members
20+
4. Coverage of MISRA C and CERT C in 2026 (Félix / Markus updates)
21+
- MISRA C one has a [PR up](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/pull/432) from Markus
22+
5. Interest in the MISRA C++ mapping
23+
- 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)
24+
- Pete/Alex are working out how we can have some kind of copy of the MISRA documents (C, C++) held in the jurisdiction of the Rust Foundation in support of members to be able to work on coding guidelines
25+
6. Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
26+
- Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal
27+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip
28+
- Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal
29+
- Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip
30+
7. Review batches for [CERT C Rust Mapping](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/336) (Pete)
31+
- Let's split up again, to get some feedback on batch 2
32+
- [428 [CERT C Review Batch 2/5] Review proposed Rust categorization](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/428)
33+
8. Round table
34+
35+
## **Check-in area**
36+
37+
Pete LeVasseur ☕☕☕
38+
Max Jacinto ⚽
39+
Arshad Mahmood 🌞
40+
Oreste Bernardi ⛈️
41+
David Svoboda (-:
42+
Andreas Weis 🧐
43+
Achim Kriso
44+
Christof Petig ⏲️
45+
46+
**Notetaker:**
47+
48+
- Arshad Mahmood
49+
50+
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.
51+
52+
## **Housekeeping section**
53+
54+
- Document space: [coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines)
55+
- Zulip: [safety-critical-consortium: Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Coding.20Guidelines)
56+
- [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
57+
- `[contributor experience](https://github.com/orgs/rustfoundation/projects/1/views/4)` view
58+
- `[coding guideline](https://github.com/orgs/rustfoundation/projects/1/views/5)` view
59+
60+
## **Tasks**
61+
62+
- Andreas will put Pete in touch with MISRA leadership to follow-up on use cases for having an SCRC copy of MISRA C, MISRA C++
63+
- Pete to think about how breakdown the MISRA C++ mapping work
64+
- Pete to meet with folks at Rust All-Hands
65+
- Pete to share with t-opsem about the work that Andreas has done for iceoryx2 thus far
66+
- Pete to meet the team re: clippy to set goals
67+
68+
## **Meeting Minutes**
69+
70+
- Accepted the prevision session meeting notes
71+
- MISRA C PR is up, note has been sent for review feedback a response not yet received
72+
- MISRA C leadership - mapping to C language makes sense, it was done by MISRA C committee.
73+
- MISRA C++ anyone interested please reach out link to zulip here - XXX . Some preliminary work has been done, see the zulip thread for more information.
74+
- MISRA C++ process for building up the mapping discussed via github issues.
75+
- MISRA C++ standards docs getting them for the groups usage, security considerations being discussed due to copyright issues.
76+
- Decided to start the MISRA C++2023 mapping by creating new sheet (MISRA C++ Mapping ([https://docs.google.com/spreadsheets/d/12e9Tr8PUTvVr87nUH0MQTwL31yU6YihQVxlvkqlo9SA/edit?usp=sharing](https://docs.google.com/spreadsheets/d/12e9Tr8PUTvVr87nUH0MQTwL31yU6YihQVxlvkqlo9SA/edit?usp=sharing))) to work collaboratively
77+
- Clippy has been discussed previously, new action added to tasks,
78+
- Some training material available for clippy, which can be shared with us for getting some training for members working on the clippy workstream.
79+
- Moving onto the normative documentation, the current version was shared for review. Some comments were already received which are being looked at. There is a zulip thread - where discussion is taking place
80+
- An example of iceroyx2 was shared as an example (the library is a pub-sub, but the subscribers get a virtual address mapped to the same physical address for in process pub-sub. So different virtual pointer but the same physical location).- does rust aliasing rules and pointer provenance ensure we don’t have this issue?
81+
- Rustweek may be a good time to discuss some of these topics, some pre-session research will be done to scope out issues such as this.
82+
- Some other potential issues have also been documented, worth reviewing to get a better idea of these issues (see zulip thread for links - Zulip thread ([https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60))).
83+
- The process of how to manage this was discussed, perhaps a table or list.
84+
- The need for operational semantics is an important goal to pursue, but it’s going to be a major piece of work. Perhaps we can break down this task to manage the process. Checkout the zulip thread - Zulip thread ([https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60)) .
85+
- A paper that has been accepted relating to an application of the rust borrow checker for analysing was mentioned by one of the members (not yet published, link will be sent once published).
86+
- Batch 2 CERT C mapping was not discussed, but will be on the agenda for the next session. It may be taken to the round table.
87+
88+
## **Material**
89+
90+
Any material to read before the meeting should be included here.

0 commit comments

Comments
 (0)