Safe and Secure Solutions
Solutions designed to meet the specific software development needs of safety-critical and high-security applications.
GNAT Pro Safety Critical »
GNAT Pro High-Security »
In the Press
- C++11 and Ada 2012 - renaissance of native languages? (Electronic Design)
- SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform
- ParaSail: Less is more with multicore (EE Times)
- UAVs, software, and security: an interview with Robert Dewar (Avionics Intelligence)
- Saab Electronic Defence Systems Adopts CodePeer
- Stabile Embedded-Systeme mit der Programmiersprache Ada (Elektronik Praxis)
- Students need to learn multiple programming languages (EE Times)
- Drones: A hazard to your health? (EE Times)
- Trimming cost and size: The software side of the story (EE Times)
- Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade
- AdaCore Spotlight
- Safe and Secure Development
- Frontline Support
- Product Updates
- Knowledge Center
- Events
- Partners
AdaCore provides tools and expertise for safe, secure and high-reliability software development.
DO-178C Training
Download the pdf for course details.
Ada 2012
Learn more about the Next Generation of Ada.
SPARK Pro
The foremost language, toolset and design discipline for the engineering of high-assurance software. Learn More »
GNATcoverage
Our new specialized tool for analyzing and reporting program coverage. Learn More »
Hi-Lite
Hi-Lite is a project aiming at popularizing formal methods for the development of high-integrity software. Learn More
Frontline Support Expertise
We allow your team to leverage on literally hundreds of years of collective Ada experience. Indeed, several of our staff worked on the original Ada development effort. Whether you need help setting up your first Ada project or resolving the most complex programming challenge, you'll have direct access to this invaluable Ada knowledgebase. Learn More »
CodePeer 2.1
Wednesday Feb 1, 2012
See Release Notes »
GNAT Pro 7.0.1
Wednesday Feb 1, 2012
See Release Notes »
SPARK Pro 10.1
Tuesday Jan 3, 2012
See Release Notes »
GPS 5.1
Tuesday Oct 18, 2011
See Release Notes »
SPARK Pro 10
Tuesday Jun 28, 2011
See Release Notes »
Technical Papers
High-Integrity Object-Oriented Programming in Ada »
Development Log
The Riposte counter-example generator »
Live Docs
GNATcoverage Users Guide
Gem of the Week
Gem #129 : Type-Safe Database API - Part 1 »
Webinars
Introducing CodePeer 2.1 - Static Analysis Tool »
Aug 27-31, 2012
Paris, France
FM 2012
Sep 17-21, 2012
Boston, MA.
ESC / Design East
Oct 30 - Nov 1, 2012
Phoenix, AZ
SAE Aerospace Electronics and Avionics Systems Conference
Nov 14-15, 2012
Karlsruhe, Germany
Automotive 2012
Partner Highlight
Altran Praxis is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran Praxis leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran Praxis, in partnership with AdaCore, provides SPARK Pro - the foremost language, toolset and design discipline for the engineering of high-assurance software. Learn more about our partners »