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
- Nebenläufige Programmierung in Ada (heise Developer)
- Real-Time Operating Systems (Avionics Today)
- Testing or Formal Verification: DO-178C Alternatives and Industrial Experience (IEEE Software)
- TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project
- AdaCore Releases Major New Version of CodePeer Static Analysis Tool
- AdaCore Releases GNAT Pro 7.1
- Is it safe? (Electronic Specifier's digital magazine)
- Ada 2012 on ARM (Embedded News)
- Advanced static analysis meets contract-based programming (Embedded Computing Design)
- DO-332, the Liskov Substitution Principle, and local type consistency ramp up DO-178 certification (Military Embedded Systems)
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 »
May 21-23, 2013
Toulouse, France
Certification Together 2013
Jun 10-14, 2013
Berlin, Germany
Ada Europe 2013
Jun 25, 2013
Sindelfingen, Germany
ARM-based Embedded System Design
Sep 24-26, 2013
Detroit, Michigan, USA
SAE Aerotech 2013
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 »