|Headquarters||New York, Paris|
|Key people||Robert Dewar
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.
Its main product is GNAT Pro a commercial-grade open source Ada development that supports all Ada versions (Ada 2012, Ada 2005, Ada 95, Ada 83). 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:
- BAE Systems
- Lockheed Martin
- Logica CMG
- Philips Semiconductors
- Rockwell Collins
- Sema Group
- Thales Group
- Ultra Electronics
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.
- Official website
- AdaCore Libre site
- Franco Gasperoni, COTS, FLOSS, and Market Freedom in Safety-Centric Industries — AdaCore's business model and history