AI Assurance DirectorySafety engineering
Astrée
Evidence strength: Strong How this is scored
Sound static analyzer for safety-critical C and C++. Names hazard identification against ISO 26262, DO-178C, IEC-61508 and EN-50128, plus Qualification Support Kits for those standards. Bosch Automotive Steering and Airbus are named users. Not a neural-network verifier.
Certification evidence
Maps to 1 DO-178C / related aerospace guidance requirement — see which with Pro
Maps to 2 ISO 26262 requirements — see which with Pro
Maps to 1 IEC 61508 requirement — see which with Pro
Certification relevance. Cited pages map this listing to DO-178C / related aerospace guidance (1 requirement), ISO 26262 (2 requirements), and IEC 61508 (1 requirement).
Cited page: AbsInt: Astrée Static Analyzer for C and C++ — a named DO-178C / related aerospace guidance requirement.
Cited page · The quoted wording is Pro.
Listing detail and source evidence (Pro)
Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.
Cited mappings (Pro)
Included on Pro, Team and Enterprise. Public summaries, tags and official links on this page stay free.
Procurement evidence pack (Pro) — print cited mappings and analyst notes. The print view is not on this page.
- Vendor / publisher
- AbsInt
- Type
- Commercial
- Official site
- https://www.absint.com/astree/index.htm
- Industries
- Frameworks named on cited source
- Last verified
Listing is not an endorsement, certification or recommendation. Capabilities, availability and framework support can change. Confirm with the vendor and the relevant authority. See the disclaimer.