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
- AdaCore and Altran to sponsor High Integrity Software Conference
- Building trust in a model-based automatic code generator (Embedded Computing Design)
- Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet
- Ada Driver Library for ARM Cortex-M/R - Part 1 (ARM Connected Community)
- The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 2) (VDC Research )
- The IoT & Embedded Technology Beat: with Quentin Ochem of AdaCore (Part 1) (VDC Research)
- 158: Programming is too difficult for humans (Embedded FM )
- Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj
- AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize
- Traits-basierte Container in Ada (Heise Developer)
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 »
Oct 25-27, 2016
Santa Clara, CA
ARM TechCon
Nov 1, 2016
Bristol, UK
High Integrity Software 2016
Nov 14-18, 2016
Boston, USA & Paris, France
Public Ada Training
Nov 16-17, 2016
Paris, France
Paris Open Source Summit 2016
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 »