Ada on board: Thales uses AdaCore GNAT Pro for critical avionics software | Intelligent Aerospace


Aerospace, defense, transportation, and security company Thales in La Defense, France, selected and used AdaCore’s GNAT Pro Ada environment to develop and verify a qualified autocode generator for critical airborne software.

Thales staff implemented the autocode generator in Ada; the tool takes an XML file and produces source code for an embedded avionics system that will be assessed against the Level B objectives in the DO-178C / ED-12C Software Considerations in Airborne Systems and Equipment certification standard.

Source: Ada on board: Thales uses AdaCore GNAT Pro for critical avionics software – Intelligent Aerospace

Leave a Reply

Your email address will not be published. Required fields are marked *