• AdvoCATE

  NASA Ames Research Center · Government-published · Safety engineering

  NASA Ames Assurance Case Automation Toolset for GSN arguments, hazard analysis, bow-tie risk models and verification artifacts. NTRS User Guide 1.4 covers safety risk management. DARPA Assured Autonomy acknowledgment.

  • Aerospace & aviation
  • Space systems

• CycloneDX (AI/ML-BOM)

  OWASP / Ecma TC54 · Open source · AI assurance & verification · Open source · Apache-2.0

  OWASP/Ecma TC54 BOM standard (CycloneDX 1.7, released 21 October 2025) published as ECMA-424 2nd edition (10 December 2025). Homepage names 260+ tools, the defense industrial base, satellite and space systems, and medical-device HBOM/SBOM. The ML-BOM guide names the EU AI Act and NIST AI RMF.

  • Aerospace & aviation
  • Defense & national security
  • Space systems
  • Medical devices
  • EU AI Act
  • NIST AI RMF

• NASA ProgPy

  NASA Prognostics Center of Excellence · Open source · AI assurance & verification

  NASA ProgPy 1.8.0 (2024 NASA Software of the Year): pip install progpy; Python ≥3.9,<3.14. PHM and remaining-useful-life research with an optional LSTM datadriven extra and a prog_server SOA. Partners named: DLR, Northrop Grumman and Vanderbilt. NASA-1.3 — no OSI badge.

  • Aerospace & aviation
  • Space systems

• NASA SWEHB Artificial Intelligence topics (7.25 and 8.25)

  NASA · Government-published · Government-published resource

  NASA SWEHB AI/ML topics under NPR 7150.2. Official titles: 7.25 - Artificial Intelligence And Software Engineering and 8.25 - Artificial Intelligence And Software Assurance. Topic 7.25 names OCE, OSMA, OCHMO and OCIO and keeps AI non-safety-critical without an approved AI safety case.

  • Space systems
  • NIST AI RMF

• Neural Network Dependability Kit (NNDK)

  fortiss · Open source · Safety engineering · Open source · AGPL-3.0

  Open-source fortiss toolbox for engineering neural networks in safety-critical domains: dependability metrics, test-case generation, formal verification and runtime neuron-activation-pattern monitoring. Jupyter examples on GTSRB, MNIST, KITTI. Used in driving, medical imaging and space navigation.

  • Other safety-critical
  • Space systems

← All tools

Questions

Why are only these tools tagged Space systems?

Industry tags come from the cited public pages, not from our judgment. If a vendor page does not name this industry, the listing does not get the tag.

Where is the cited industry overview?

The Space systems overview cites official sources and links frameworks and articles for this industry.