-T / T / +T | Comment(s)

Wednesday, January 27, 2016

DGA Selects AdaCore Tech to Audit, Certify Military Avionics Software

Juliet Van Wagenen

The Adasquore dashboard to audit avionics software
The Adasquore dashboard to audit avionics software. Photo: Business Wire

[Avionics Today 01-27-2016] The French government agency that oversees military procurements, the Direction Generale de l’Armement (DGA), has selected a graphical tool from AdaCore and Squoring Technologies for military and civil avionics software audits. The technology, AdaSquore, features a dashboard that monitors the quality metrics of critical components and will facilitate the analysis of existing and new code, while supporting the processes defined in the DO-178C standard’s supplements on formal methods (DO-333) and object-oriented technology (DO-332).

The tool will produce indicators that measure the code’s technical debt, safety, maintainability, and portability, and will also provide a prioritized list of action items to help correct highlighted issues. AdaSquore can also help to manage and interpret large amounts of data generated by safety-critical projects, which usually run a variety of code analysis tools ranging from coding standard checking and complexity metrics generation to structural code coverage analysis.

Live chat by BoldChat