Solutions for Safety and Security Certification
In safety- and security-critical industries, software must meet the highest standards for reliability, maintainability, and compliance with stringent certification requirements. AdaCore has been a trusted partner in these domains for decades, providing advanced tools, long-term support, and expert guidance to help organizations develop and sustain high-assurance software systems.
Safety Certification Standards We Support
DO-178
AdaCore products are certified for use with ED12-B/C / DO-178B/C industry standards up to DAL-A and include a variety of tools and services that streamline workflows and help reduce certification costs.
ISO 26262
AdaCore toolchains and verification tools have been certified under the ISO 26262 and functional safety standard and can be used up to ASIL-D.
EN 50128
AdaCore's solution is a software development toolset which is certifiable against CENELEC EN 50128 and EN 50657 up to SIL-4.
ECSS-E-ST-40C
AdaCore has extensive experience helping aerospace customers, and provides technology qualified against he European Space standards ECSS-E-ST-40C and ECSS-Q-ST-80C.
IEC 61508
AdaCore's technology, including its compiler and verification tools, has received T2 and T3 qualification under IEC 61508 and can be used in certified contexts up to SIL-4.
Certification Material for Tools and Runtime Libraries
We offer certification material for our specialized high-assurance run-time libraries for all safety standards. These libraries are engineered to meet the demanding requirements of safety-critical systems, with pragmatic subsets minimizing certification costs.
We provide qualification material for our tools to meet verification and safety objectives, including compilation toolchains, coding standard verification, structural coverage analysis up to MC/DC, static analysis, and formal verification.
We also produce ready-to-use source-to-object code traceability studies as required for DO-178C at level A for all of our compilers.
Preventing Security Vulnerabilities
Several of our tools have been approved by The MITRE Corporation as CWE-compatible, reflecting their utility in detecting dangerous programming errors identified in the Common Weakness Enumeration.
AdaCore produces Software Bills of Materials (SBOMs) for all AdaCore products supplied in the industry-standard Software Package Data Exchange (SPDX) format, allowing automated incorporation into customers’ vulnerability management and reporting systems.
Products and Services
GNAT Pro
Integrated toolchain for safety critical Ada, C/C++ and Rust.
GNAT DAS
Provides unit testing and fuzz testing capabilities, along with a structural coverage analysis tool.
SPARK Pro
Leverages formal methods to automatically prevent or detect a wide range of bugs in Ada, ensuring higher reliability and security.
Do you have a safety-critical project we can support?
Speak with one of our experts today.
When it comes to safety-critical systems, the Ada language has an impressive pedigree and track record.
Self-driving cars are extremely complex and require sophisticated software that needs the most rigorous standards out there. Taking measures like incorporating Ada and SPARK languages into NVIDIA platforms can improve the robustness and assurances of our automotive security.
