diff --git a/subcommittee/tooling/README.md b/subcommittee/tooling/README.md index dfc2549b..ddbf21aa 100644 --- a/subcommittee/tooling/README.md +++ b/subcommittee/tooling/README.md @@ -14,20 +14,16 @@ Tooling was one of the high interest topics that we have discussed, so the membe ## Subcommittee Mission Statement -A community-vetted minimal required tooling package to be able to certify Rust in safety-critical applications. -A document with a list of the minimal required tools and their development status. A possible curricula used for training in safety critical Rust (this is still to be determined of we need a different subcommittee for it). - -Please see further details in our [mission statement](mission-statement.md). +Please see further details in our mission statement on [arewesafetycriticalyet.org/tooling/statement](https://arewesafetycriticalyet.org/tooling/statement). ## Members and Membership -Please find the list of members [here](members.md). - -The Safety-Critical Rust Consortium is still working through what this process is. Please check back soon. +See section [Subcommittee Membership](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium#subcommittee-membership) in the main README.md. ## Meetings -We are still sorting out meeting scheduling and frequency. Please check back soon. +Meetings are currently held every two weeks on Fridays at 17:00 (GMT+2) to 12:00 (EDT). +You should receive meeting invitations once you have joined the subcommittee. ## Where to find us ✉️ diff --git a/subcommittee/tooling/members.md b/subcommittee/tooling/members.md deleted file mode 100644 index a2f3212b..00000000 --- a/subcommittee/tooling/members.md +++ /dev/null @@ -1,44 +0,0 @@ -# Members - Tooling Subcommittee - -- Tony Aiello (AdaCore) -- Jordan McQueen (Woven by Toyota) -- Arnaud Fontaine (Airbus) -- Daniel Frassinelli (Veecle) -- Roland Schabenberger (Veecle) -- Frederic Ameye (Ampere) -- Julius Gustavasson (Volvo Cars) -- Bogdan Genis (OxidOS Automotive) -- Orson Pessin (OxidOS Automotive) -- Florian Gilcher (Ferrous Systems) -- Wayne Chang (SpruceID) -- Munawar Hafiz (OpenRefactory) -- Joe Johnson (Modularity Inc.) -- Oreste Bernardi (Infineon) -- Tiago Manczak -- Koppany Pazman (HighTec) -- Manuel Hatzl (Ferrous Systems) -- Xander Cesari (Pictorus Inc) -- Chris de Claverie (GAMA) -- Felix Gilcher (Ferrous Systems) -- Espen Albrektsen (Sonair AS) -- Pete LeVasseur (Woven by Toyota) -- Paul Sastrasinh -- Stephen Hedrick (AdaCore) -- Joe Johnson -- Antoshkin Mikhail -- Félix Fischer Marqués -- Alexander Senier (Ferrous Systems) -- Lachlan Dowling (NVIDIA) -- Tshepang Mbambo (Ferrous Systems) -- William Cunningham (Woven by Toyota) -- Nivir Roy -- Satoshi Kaneko (Denso Automotive Germany) -- Raiki Tamura -- Dániel Szűcs (HighTec EDV-Systeme GmbH) -- Dorian Péron (AdaCore) -- Sam K -- Arnaud Riess -- Jonatan Hatakeyama Zeidler (Brainlab SE) -- Stefan Akatyschew -- Zalán Bálint Lévai -- Alexandru Radovici (Moderator) diff --git a/subcommittee/tooling/mission-statement.md b/subcommittee/tooling/mission-statement.md deleted file mode 100644 index 57678697..00000000 --- a/subcommittee/tooling/mission-statement.md +++ /dev/null @@ -1,16 +0,0 @@ -# Mission Statement - Tooling Subcommittee - -1. Aggregate community-vetted minimal required tooling package to be able to certify Rust in safety-critical applications. -2. Provide and maintain a document with a list of the minimal required tools and their development status. -3. Possibly develop a curricula used for training in safety critical Rust (this is still te be determined of we need a different subcommittee for it). - -## State of Rust Safety-Critical Tooling - -| Purpose | Requirement | Tool | Status | -|---------|-------------|------|--------| -| Qualified Compiler | ? | [Ferrocene](https://ferrocene.dev/en/) | Available for `aarch64-nostd` | -| Certified Core Library | SIL-4 / ASIL-D out of context | N/A | In progress by Ferrocene / Adacore / HighTec | -| Coding Style Verification | MISRA-C, ... | Rust Compiler, Clippy and probably additional tools required to verify and evaluate the application of the coding standard developed by the Code Guidelines Subcommittee | OxidOS can provide a mapping of MISRA-C Rules to the Rust Compiler | -| MC/DC Coverage report | ... | N/A | not available - LLVM might provide some tools | -| Static Analysis Tools | probably similar to Polyspace | N/A | an assesement about what the rust compiler covers is necessary | -| Code Metrics Generator | Cyclomatic Complexity, ... | N/A | not available |