Article
AVIO software developers leverage AdaCore GNAT Pro Assurance for ESA Vega C launch vehicle
2019-01-16
Software engineers engaged in the construction and development of space launchers and solid and liquid propulsion systems for space travel at AVIO – a global aerospace company with five facilities in Italy, France, and French Guyana – are leveraging the GNAT Pro Assurance and GNATemulator from AdaCore, a provider of software development and verification tools, with headquarters in Paris and New York to develop and expedite testing of safety-critical, on-board software for the Vega C launcher.