Customer List

AdaCore provides software development solutions that help assure quality and reduce costs to a prestigious list of market leaders around the world.

Take a look at some of our customer's projects »

Avionics (Civil & Military)

Defense (Including Military & ATM)

  • Aselsan
  • Atlas Elektronik GmBH
  • AWE Plc
  • BAE Systems
  • Ball Aerospace
  • Beca Limited
  • Boeing
  • Camber Corporation
  • Cole Engineering Services
  • COLSA Corporation
  • CGI IT
  • CymSTAR
  • Department of Defense Australia
  • Diehl BGT Defence
  • DIFI.NET
  • DCNS
  • DGA (Délégation Générale pour l’Armement)
  • Dutch Ministry of Defense/WBU
  • Dynetics
  • ELBIT Systems Ltd
  • Embraer
  • Esterline
  • Eurofighter Jagdflugzeug
  • Finnish Defence Forces Joint Systems Centre
  • GE Aviation
  • General Dynamics
  • Georgia Institute of Technology/GTRI
  • Harris Corporation
  • Havelsan
  • Honeywell
  • Insta DefSec
  • ISI Hellas
  • Johns Hopkins University APL
  • Kongsberg Defense
  • Krauss-Maffei Wegmann GmBH & Co KG
  • L-3 Communications
  • Land Software Engineering Centre
  • Leidos
  • Leonardo
  • Lockheed Martin
  • Martin Baker
  • MBDA
  • MHI Aerospace Systems Corp
  • Ministry of Defense, the Netherlands
  • MIT Lincoln Laboratory
  • Mitre
  • Mitsubishi
  • NATO (NPC/NCI Agency)
  • NAVAIR
  • Naval Air Warfare Center
  • Naval Surface Warfare Center
  • Naval Undersea Warfare Center
  • Nexter
  • Northrop Grumman
  • Norwegian Defense Research Establishment

Air Traffic Control

  • Air Traffic Control Netherlands
  • Altran
  • Avinor
  • Belgocontrol
  • BMLVS
  • CENA (Centre d’Etudes de la Navigation Aérienne)
  • DFS Deutsche Flugsicherung
  • DSNA - DTI/SDER
  • Eurocontrol Luchtverkeersleiding Nederland
  • Indra
  • Leidos
  • National Air Traffic Services
  • NAV Canada
  • Skyguide
  • TechnoSky
  • Vitrociset

Space

  • Airbus Defence and Space
  • Airbus Safran Launchers
  • Astrium
  • AKKA Services
  • CNES (Centre National d’Etudes Spatiales)
  • D-Orbit
  • EADS Astrium
  • Generation Orbit Launch Services
  • LASP
  • MacDonald Dettwiller
  • SEAKR Engineering
  • SODERN

Rail

Energy

  • ABB
  • Atos Worldgrid
  • CNRS - CSNSM
  • EDF
  • GANIL
  • Ipesoft
  • Lawrence Livermore National Laboratory
  • Modal
  • Piller
  • Smartside

Automotive

Automation

Finance

Medical Devices

Security