Trusted in the World's Most Demanding Environments
AdaCore has over three decades of experience providing tools and services to customers in industries with the most demanding software safety, security, and reliability requirements.
Building Certified Software for Critical Avionics Systems
When it comes to military or commercial aircraft, failure is not an option. The software developed for avionics systems must meet the most stringent safety standards such as DO-178. Our products help developers build and verify software systems that meet the highest levels of certification.
Software at the Core of Modern Defense
Defense applications are unique in combining safety-critical systems with maintenance requirements and service lives spanning decades. AdaCore supports software systems that need to be ported across generations of hardware and require development environments that provide excellent portability and stability.
Software is Driving the Automotive Future
AdaCore’s technology enables developers working on critical automotive applications to improve and streamline their development, verification, and ISO 26262 certification processes. Automotive OEMs and their suppliers can rely on our long-term support to enable their decade long projects.
Building Safety-Critical Software for Modern Rail Systems
AdaCore equips the rail industry with advanced tools and expertise to develop high-assurance software that is compliant with stringent safety standards like EN 50128 and EN 50657.
Software at the Heart of Life-Critical Medical Systems
When lives are on the line, software can’t fail. AdaCore’s expertise and rigorously vetted technology in high integrity software domains provide the extra assurance that medical device developers, regulators, doctors and patients need so they can focus on what is really important - saving human lives.
Building Software for the Final Frontier
AdaCore has extensive experience helping our aerospace customers meet the European Space standards ECSS-E-ST-40C and ECSS-Q-ST-80C. We have a proven history of supporting long-term qualified projects, which are essential for space applications requiring sustained maintenance.
Software for Secure Systems
AdaCore tools are best in class for the development of networking stacks, device firmware, and platform software of systems where security and availability are critical. Our products help detect and eliminate vulnerabilities throughout the entire development lifecycle.
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.
Applications of our Technology
Speak to an Expert
Expert guidance for your safety and security-critical programs.
Trusted Across Safety and Security-Critical Industries
Organizations worldwide trust our solutions to meet the highest standards of safety, reliability, and performance.
We selected AdaCore and the Ada language because we believe that this technology and related tools will increase the maintainability and quality of our software and make it easier to provide some evidence for certain software certification objectives. The quality of AdaCore’s support was an important advantage, and another anticipated benefit was the ease of developing mature code.
We needed a long-term partner and a scalable software development environment. Selecting AdaCore has been key to our success; choosing Ada was the right decision at the right time.
In our experience, programmers can learn Ada and get up to speed within just two weeks. They learn quickly that Ada is a language that they can trust, building confidence, saving time, and allowing them to focus on other parts of their role.
