do-178c

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.

Certification-ready UI library for safety-critical products. ISO 26262, IEC 62304, IEC 61508, DO-178C. Available for preview, full release in 2026 Q4.

Ada/SPARK formal verification and compliance toolchain.

Deterministic, bit-perfect AI inference for safety-critical systems

🚀 The aerospace knowledge layer for AI agents — 3200 verified skills in 86 installable packs across 12 engineering families, mapped to 30 standards (ECSS · DO-178C · NASA) and proven by a 1754-task deterministic gate battery. AgentSkills.io format · Apache-2.0 · by Ashforde OÜ

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.

Automate requirements traceability: trace requirements to tests and code, fail CI on gaps, generate audit-ready traceability matrices.

Ada SPARK Aviyonik Veri Sıkıştırma Süiti | DO-178C Level-A & STANAG-4586 Uyumlu Gömülü ve Yer İstasyonu Sıkıştırma Motoru

Spec-driven development MCP server for AI coding agents — 8 phases, bi-directional traceability, and 7 quality gates, 15 tools over Streamable HTTP (MIT)

Deterministic model packaging and cryptographic attestation for safety-critical ML deployment

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.

AI-native Code-OSS workbench for safety-critical firmware. DO-178C evidence, MISRA, CBMC, CodeQL, measured MC/DC and hardware tooling in one window — with compliance runs that record what was actually measured, and claim nothing else.

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.