Wednesday, January 27, 2016
DGA Selects AdaCore Tech to Audit, Certify Military 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.