Thales Selects AdaCore’s GNAT Solution to Support Argos Satellite Project

[Satellite TODAY 05-03-11] Thales has selected software developer AdaCore to provide its GNAT Pro high-integrity solution to help develop onboard instrument software for Thales’ next-generation Argos satellite project, AdaCore announced May 2.
    The GNAT Pro solution encompasses AdaCore’s development environment and accompanying support services, and will work to upgrade safety and security certification on Ada’s Argos systems. A joint project between France and the U.S. National Oceanic and Atmospheric Administration NOAA, Argos provides support for a variety of applications, including volcano monitoring, ship and expedition tracking, fishing management, tracking animal migration and geophysical data collection.
    “In its new mission, Argos will face several challenges. In particular, Argos-4 will simultaneously handle three times as many transmitters as Argos-3 and provide these transmitters with increased operational flexibility. Thales chose AdaCore because of its ability to provide a complete solution that includes an efficient development environment, a Leon 2 emulator and a code coverage tool that does not require code instrumentation,” AdaCore said in a company statement.