Adds needs/requirements to sphinx
A curated list of avionics awesome resources. Looking for contributors ❗❗
Traceability extension for Sphinx documentation generator
Portable MBSE domain agents for AI-assisted systems engineering
A collection of StrictDoc templates for various standards.
A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
Ada/SPARK formal verification and compliance toolchain.
Certification-ready UI library for safety-critical products. ISO 26262, IEC 62304, IEC 61508, DO-178C. Available for preview, full release in 2026 Q4.
Deterministic, bit-perfect AI inference for safety-critical systems
Pipeline verification for certifiable-* ecosystem. Validates complete provenance chain from data through deployment with cryptographic binding verification. Hash-only and full replay modes.
End-to-end test harness proving bit-identity across platforms. Runs all 7 certifiable-* stages, generates golden references, and verifies deterministic execution. Proven identical: Linux/GCC ↔ macOS/Clang.
Deterministic model packaging and cryptographic attestation for safety-critical ML deployment
Developed and validated code and algorithms for the DO-178C avionics standard. These are just some of the huge amount of trials and projects developed
Performance benchmarking for deterministic ML inference. Measures latency, throughput, WCET with cryptographic verification of bit-identity across platforms. 11,840 test assertions. Pure C99, no dynamic allocation. Part of the certifiable-* ecosystem for safety-critical AI.
Deterministic, certifiable model quantization (FP32→Q16.16) with formal error bounds and cryptographic proof certificates. Pure C99. Zero malloc. DO-178C/IEC 62304/ISO 26262 ready.
Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident logging. 253 tests passing.
Deterministic ML training for safety-critical systems. Fixed-point arithmetic, Merkle audit trails, zero dynamic allocation. DO-178C / IEC 62304 / ISO 26262 ready
Deterministic data pipeline for safety-critical ML systems. Fixed-point arithmetic, Feistel shuffling, Merkle audit trails. Zero dynamic allocation. Certifiable for DO-178C, IEC 62304, ISO 26262. 142 tests passing.
A DO-178C-aligned Java Swing application for managing aircraft and maintenance tasks with authentication, KPI dashboard, and bulk import tools.
Bi-directional traceability for AI-assisted development — prove every commit traces to the business goal that authorised it. 8-phase chain, 7 gates, 113 checks. MCP server at vdd.simonmak.com. Skill for Claude Code, Cursor and OpenCode.
Add a description, image, and links to the do-178c topic page so that developers can more easily learn about it.
To associate your repository with the do-178c topic, visit your repo's landing page and select "manage topics."