Adds needs/requirements to sphinx
Traceability extension for Sphinx documentation generator
A curated list of avionics awesome resources. Looking for contributors ❗❗
A collection of StrictDoc templates for various standards.
Deterministic, bit-perfect AI inference for safety-critical systems
A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
Pipeline verification for certifiable-* ecosystem. Validates complete provenance chain from data through deployment with cryptographic binding verification. Hash-only and full replay modes.
Portable MBSE domain agents for AI-assisted systems engineering
A snake game to demo D contract programming in regards to DO-178c
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, 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.
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 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.
Deterministic model packaging and cryptographic attestation for safety-critical ML deployment
A DO-178C-aligned Java Swing application for managing aircraft and maintenance tasks with authentication, KPI dashboard, and bulk import tools.
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.
A deterministic, zero-dynamic-memory, and MISRA-C:2012 compliant FIFO queue implementation written in pure C.
The cryptographically proven ML pipeline.
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
Deterministic ML training for safety-critical systems. Fixed-point arithmetic, Merkle audit trails, zero dynamic allocation. DO-178C / IEC 62304 / ISO 26262 ready
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."