Open-source tool for building and reviewing safety cases: GSN arguments stored as SACM 2.3, with AI review against the Safety Case Core Guidelines
-
Updated
Oct 12, 2026 - C++
Open-source tool for building and reviewing safety cases: GSN arguments stored as SACM 2.3, with AI review against the Safety Case Core Guidelines
DARPA's Automated Rapid Certification of Software (ARCOS) project called RITE (RACK Integrated CerTification Environment)
Results from program Safety Assurance in Complex Aerospace Digital Systems that include AI/ML, funded by the FAA
Draft adopting profile for The Metadatastician estate, documenting authority, standards adoption and deviations, assurance, security, and contribution governance.
Mission-assurance control plane for spacecraft edge autonomy: governs when onboard AI may act, abstain, degrade, retain data, request ground review, or fall back, with signed evidence, deterministic replay & traceability from mission requirements to decisions.
A lightweight, evidence-oriented adoption profile for software substantially built or maintained by AI coding agents
Draft signed evidence object and reference verifier for agentic AI release assurance.
Evaluation results in, release decision out. Pre registered gates, coverage, regression and an assurance case.
Workbench for the OntoGSN Interface.
To associate your repository with the assurance-case topic, visit your repo's landing page and select "manage topics."