|Headquarters||New York, Paris|
AdaCore is a computer software company that provides open source software tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’s flagship products are the GNAT Pro and SPARK Pro development environments and the CodePeer automatic code reviewer and validator.
GNAT Pro, AdaCore's main product, is a commercial-grade open source Ada development that supports all Ada versions (Ada 2012, Ada 2005, Ada 95, Ada 83) and includes professional consulting, training and maintenance services. All AdaCore software products are licensed either under the GPL or the GMGPL license. Special releases are made for academic use.
The company was founded in 1994, and was originally named Ada Core Technologies (ACT). In 2004 it was rebranded to AdaCore.
Ada and GNAT Pro are used in long-lived applications where safety, security, and reliability are critical. Domains include commercial and defense avionics, air traffic control, railroad systems, space, energy, financial services and medical devices.
Its customers include:
- Astrium - International Space Station
- BAE Systems - Eurofighter Typhoon
- Barco - Advanced Jet Avionics Display
- Boeing - 787 Dreamliner (Common Core System)
- Deep Blue Capital - Financial System Development
- EADS CASA - nEUROn Unmanned Aircraft
- Embraer - AMX Modernization program
- Eurocopter - Military Helicopter ARINC 653
- Hamilton Sundstrand - 787 Dreamliner (Air Conditioning Control Unit)
- Lockheed Martin - C130 J Flight Management System
- MBDA - MBDA Extends Global Software Licensing Agreement with AdaCore
- Rockwell Collins - Cross Domain Guard for Military Tactical Systems
- Saab - Land and Naval Surveillance and Defense Systems
- Secunet - Multi-Level Security Workstation
- Siemens - Railway Control System
- Smartward - Hospital Information System Development
- Terma - Space Monitor Project
- Thales Group - Argos Satellite Project, Airbus A350 XWB (Xtra Wide-Body)
- TOYOTA ITC - High-Reliability Vehicle Component Research Project
- Vermont Technical College - Lunar CubeSat
AdaCore has several strategic alliances and partnerships:
- Altran – a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements.
- Wind River – embedded software providing development tools, real-time operating systems, and advanced connectivity for use in products in a variety of markets including aerospace and defence.
- Hewlett-Packard - GNAT Pro is currently available and supported on HP’s OpenVMS and Tru64 on AlphaServer systems; and HP-UX, HP Linux, and OpenVMS for HP Integrity Servers.
- Verocel  – has developed the certification package for run-time library components accompanying the GNAT Pro High Integrity Edition. This package contains all of the artifacts required to satisfy the objectives of DO-178B for a Level A system.
Encouraging the use of Ada in academia
The GNAT Academic Program (GAP) was created to support the study of Ada in courses from elementary programming, data structures, software engineering and for more advanced courses in compiler construction. The community consists of over 175 members in 35 countries teaching Ada using GNAT.
Member projects include:
European Robotics Cup
The Telecom Robotics club at Telecom ParisTech is using Ada and the GNAT technology for its project submissions to the European Robotics Cup. In 2010, Telecom Robotics finished in the top ten out of 150 entries. Telecom Robotics is continuing to use Ada and GNAT on its projects, including a robot based on LEGO Mindstorms.
Arctic Sea Ice Buoy and CubeSat Projects
For the first project, the students are designing and building both the hardware and software for an Arctic Sea Ice Buoy that measures wind speed, direction, temperature and GPS position. Data from the buoy are sent back to the home base via the Iridium satellite constellation. The students are producing the prototype buoy for the study of sea/ice interaction in the Arctic Ocean, and a follow-on grant will fund placement of between 10 and 20 buoys on the Arctic Ocean ice.
The second project is a continuation of work on CubeSat, a space satellite 10 cm in diameter with a mass of 1 kg.
Graduate students at Mälardalen University are designing, building and programming the Dasher robot using AdaCore’s GNAT toolset, on Wind River Systems’ VxWorks real-time operating system.
The Dasher project’s goal is to create a humanoid (two-legged) robot that can run 100 meters in 9.5 seconds, which would break the human record.