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
- Hybrid Verification for High-Integrity Software: Combining Formal Methods with Testing (Embedded World Handout Guide)
- Ada 2012 Language Standard Corrigendum Approved by ISO
- AdaCore Releases QGen 2.1 and GNAT Pro 7.4
- AdaCore Releases QGen 2.1
- AdaCore Releases GNAT Pro 7.4
- Comparing Ada and C (Electronic Design)
- AdaCore Releases SPARK Pro 16
- French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology
- AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification
- Celebrating Ada Lovelace: The Pioneer of Programming
SPARK Pro
The foremost language, toolset and design discipline for the engineering of high-assurance software. Learn More »
CodePeer
CodePeer assesses a program for potential bugs before it is executed, in effect serving as an automated peer review. Learn More »
GNATcoverage
Our new specialized tool for analyzing and reporting program coverage. 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 »
Mar 9-10, 2016
Adelaide, Australia
Dedicated Systems Tech Day 2016
Apr 11-15, 2016
Yeovil, UK and New York, USA
Public Ada Training 2016
Jun 9, 2016
OTH Regensburg/TechBase
Ada-Deutschland
Jun 13-17, 2016
Pisa, Italy
Ada-Europe
Partner
Highlight
IBM Rational
Developing high quality embedded systems and software to meet tight deliver schedules demands a robust design environment. IBM Rational achieves this with Rhapsody®, an integrated visual modeling environment for embedded and real-time system engineering projects. The solution uses SysML 1.0 and UML® 2.1 with graphical C programming, allowing engineers to quickly and non-ambiguously specify requirements, design structure and the behavioral aspects of the system. For the embedded device developer, Rhapsody offers a Model Driven Development (MDD) environment for embedded systems, enabling you to create graphical models of the system that can be simulated and tested while automatically generating C/C++/ Ada or Java code that is directly deployable on the end product. Learn more about our partners »