10 search results for

  • Press Releases

    Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station

    Ada-based software development environment and middleware ensure high reliability of essential communications technologies for ISS’ Core Ground System
  • Press Releases

    MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software

    NEW YORK and PARIS and BURLINGTON, Mass., November 15, 2017 – AdaCore Tech Days – AdaCore today announced that MDA, a business unit of Maxar Technologies, has selected the GNAT Pro Assurance Ada development environment for the LEON3 target processor, to produce the software for a Ku-Band communication subsystem that will replace the current version. This critical International Space Station (ISS) subsystem has to work reliably over the long term, a requirement that led MDA to maintain Ada as the implementation language. With GNAT Pro Assurance, a service known as sustained branches allows MDA to continue developing and maintaining their software over the long term using a specific version of the GNAT Pro technology, with access to code generator updates to correct critical issues.
  • Papers

    MDA - Canadian Space Arm

    MacDonald Dettwiler (MDA) chose open-source GNAT Ada 95 from Ada Core Technologies to develop control software for the Mobile Servicing System (MSS), an essential com- ponent of the International Space Station (ISS).

  • Press Releases

    GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project

    PARIS, NEW YORK, December 17, 2012 – Paris Space Week 2012- AdaCore today announced that Terma A/S has selected the GNAT Pro Safety-Critical development environment to develop onboard software for the Atmosphere-Space Interactions Monitor (ASIM) that will be mounted on the Columbus module of the International Space Station. Terma will useGNAT Pro Safety-Critical combined with the GNATemulator and GNATcoverage dynamic testing tools to develop and test the application prior to deployment on the actual LEON 3 embedded processor.
  • Pages

    Member Universities

    The GNAT Academic Program with over 200 members links teachers of Ada the world over and provides a way for members to exchange knowledge and resources.
  • Press Releases

    GNAT Pro Chosen for UK’s Next Generation ATC System

    NEW YORK and TAMPA, Fl., June 19, 2007 - Systems & Software Technology Conference – AdaCore, provider of the highest quality Ada tools and support services, today announced that Praxis has selected AdaCore’s GNAT Pro for the implementation of the UK’s next-generation Interim Future Area Control Tools Support (iFACTS) air traffic control system for its client NATS.
  • Press Releases

    Wind River To Distribute Ada Core Technologies' GNAT Pro Ada 95 Technology

    Ada Core Technologies Joins Wind River Direct, Extending Wind River's Product Portfolio-Simplifying Military and Aerospace Development
  • Press Releases

    University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project

    Ada selected over C to run on a Cortex M1 core
  • Press Releases

    AVIO Selects AdaCore’s GNAT Pro Assurance Toolsuite for European Space Agency Program

    Safety-critical on-board software for Vega-C launcher being developed in Ada, leveraging GNATemulator to expedite testing
  • Pages

    GAP Workshop Registration 2023

    Register for the free GAP Workshop on June 21, 2023