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
- 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
- Introduction to Ada 2012, GNAT Pro 7, and GNATtest (video) (Embedded News .TV)
- The education of embedded systems software engineers: failures and fixes (EE Times)
- An agile approach to tool qualification for DO-178C (Military Embedded Systems)
- AdaCore Releases GNAT Pro 7.0
- AdaCore Releases Major New Version of CodePeer Static Analysis Tool
- SPARK and MILS Aid Secure Military System Design (COTS Journal)
- ‘Project P’ and ‘Hi-MoCo’ Research Projects Launched
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 »
Jun 11-15, 2012
Stockholm, Sweden
Ada Europe 2012
Jun 26, 2012
Paris, France.
B-Method – AdaCore micro-seminar
Jun 27, 2012
Cambridge, UK
Embedded Masterclass 2012
Jul 3, 2012
Stuttgart, Germany
Embedded Conference Stuttgart
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 »