Thales

Qualified Autocode Generator

Thales has developed and verified a qualified autocode generator for critical airborne software. Thales 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 DO-178C / ED-12C.

Read the Press Release »



Last Updated: 7/16/2018
Posted on: 12/1/2017