A library of 15 reusable C99 components built to a DO-178C Design Assurance Level C style process: requirements-driven, 100% MC/DC coverage, static analysis, no dynamic memory
-
Updated
Sep 14, 2026 - C
#
mc-dc
Here are 3 public repositories matching this topic...
Auto-formation Ada/SPARK et DO-178C : 13 modules vérifiés, preuve formelle SPARK (DO-333), couverture MC/DC, même cas d'étude FQMS DAL B que le dépôt frère en C++
training embedded spark aerospace francais ada formal-verification traceability do-178c avionics gnatprove safety-critical ravenscar ada-2022 requirements-based-testing mc-dc do-333
-
Updated
Oct 3, 2026 - Ada
Auto-formation C++17 et DO-178C, par la pratique : 17 modules vérifiés, 19 campagnes de test tracées aux exigences, outillage de traçabilité et de configuration, projet intégré FQMS DAL B. Même cas d'étude que le dépôt frère en Ada/SPARK.
training cmake embedded cpp static-analysis aerospace francais cpp17 clang-tidy traceability do-178c avionics safety-critical misra-cpp requirements-based-testing do-330 mc-dc do-332
-
Updated
Sep 19, 2026 - C++
Add this topic to your repo
To associate your repository with the mc-dc topic, visit your repo's landing page and select "manage topics."