Two-year project designed for auditing and certifying military software initiatives


GNAT Pro with SQUORE Technology selected by French Agency DGA for a two-year project designed for auditing and certifying military software initiatives.

Select Language

French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology

Two-year project designed for auditing and certifying military software initiatives

NEW YORK and PARIS, January 27, 2016AdaCore today announced that the Direction Générale de l’Armement (DGA) – the French government agency that oversees military procurements – has selected AdaCore and SQUORING Technologies to provide a graphical tool, AdaSquore, for military and civil avionics software audits. Featuring a smart dashboard that monitors the quality metrics of critical components, AdaSquore will facilitate the analysis of existing and new code in Ada and SPARK, and will support the processes defined in the DO-178C standard’s supplements on formal methods (DO-333) and object-oriented technology (DO-332). DGA’s software suppliers will be able to use AdaSquore to monitor the quality of their Ada and SPARK software across their various projects. The tool will produce high-level 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 will be particularly well suited to 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. Managing and interpreting the large amount of data generated by those tools can be challenging. The Squore technology addresses this issue by aggregating the data into higher level indicators through customizable quality model templates; these reflect criteria such as maintainability, portability, freedom from vulnerabilities, and technical debt. The templates may be either generic or specific to a standard such as DO-178C, and can be further refined and specialized to match company or project requirements. These indicators may then be used to automatically prioritize corrective actions and to provide a comprehensive human-readable picture of the project status and progress. The AdaSquore project will develop appropriate data analysis tools together with a quality model template for Ada/SPARK applications that use formal methods or object orientation.

The technology can be used as required on a case-by-case basis or as part of an agile development process using continuous integration. It will provide indicators of trends allowing managers to monitor the progress of quality over the whole software life cycle.

AdaSquore will integrate data coming from various AdaCore static analysis and testing tools (including CodePeer, SPARK, GNATmetric, GNATcheck, GNATcoverage, and GNATtest) as well as SQUORE Analyzer developed by SQUORING Technologies. Mixed-language projects can take advantage of other SQUORE features to analyze those parts of the application that are not in Ada or SPARK, and future work can integrate those features with requirement management tools, widening the monitoring scope to the Systems Engineering area.

AdaSquore Dashboard

AdaSquore Dashboard

“We are very excited about this project,” said AdaCore President Cyrille Comar, “because it will help leverage the advantages of Ada and SPARK for developing critical software. With Ada and SPARK, customers have the safest available language technology and an unprecedented ability to combine static and dynamic verification. With AdaSquore they will be able to capture the relevant quality metrics for their software, monitor the progress of their team in achieving their goals, and get an immediate indicator when issues arise.”

“We review several projects each year, and with GNATdashboard enhanced with the SQUORE technology we will be able to more quickly prove the validity and security of mission-critical projects,” said Vincent Louis, Software and System Safety Expert at DGA.

“The AdaSquore project provides an opportunity to extend the SQUORE evaluation and analysis capabilities with new advanced verification results. It is also a stepping stone to provide a transversal monitoring approach, as defined by the Systems Engineering field.“, said Patrick Artola, CEO of Squoring Technologies.

About SQUORING Technologies
Founded in 2010 by a group of software engineering experts, SQUORING Technologies specializes in the evaluation and monitoring of software and systems development projects.

The SQUORE decision-making dashboard for improving  quality and performance of IT projects is dedicated to all industries where software plays a key role in terms of cost or safety :  aeronautics, aerospace, automotive, railway, defense, energy, telecommunications, information systems.

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems.

Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services.  AdaCore has an extensive and growing world-wide customer base; see for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Jamie Ayre, AdaCore

Jenna Beaucage, Rainier Communications; +1-508.475.0025, ext. 124

La DGA choisit GNAT Pro d’AdaCore et la technologie SQUORE

Un projet de deux ans conçu pour évaluer et certifier les projets de logiciels militaires

NEW YORK et PARIS, janvier 27, 2016. – AdaCore a annoncé aujourd’hui que la Direction Générale de l’Armement (DGA) – l’agence gouvernementale française qui supervise les achats militaires – avait choisi AdaCore et SQUORING Technologies pour fournir un outil graphique, AdaSquore, pour l’audit des logiciels avioniques militaires et civils. Avec un tableau de bord intelligent qui suit les métriques de qualité des composants critiques, AdaSquore va faciliter l’analyse du code nouveau et existant en Ada et en SPARK et prendra en charge les procédures définies dans les suppléments de la norme DO-178C relatifs aux méthodes formelles (DO-333) et à la technologie orientée objet (DO-332). Les fournisseurs de logiciels de la DGA pourront utiliser AdaSquore pour contrôler la qualité de leurs logiciels Ada et SPARK dans leurs divers projets. L’outil va produire des indicateurs de haut niveau  qui mesurent la dette technique du code, sa sécurité, sa maintenabilité et sa portabilité. Il produira également une liste d’actions prioritaires qui permettront de corriger les problèmes identifiés.

AdaSquore sera particulièrement adapté aux projets critiques en matière de sûreté, qui utilisent en général un certain nombre d’outils d’analyse de code allant de la vérification des normes de codage et de la génération de métriques de complexité à l’analyse de la couverture structurelle du code. La gestion et l’interprétation de la vaste somme de données générées par ces outils peuvent être délicates. La technologie Squore gère ce problème en combinant les données dans des indicateurs de plus haut niveau au travers de patrons de modèles de qualité personnalisables ; ces patrons reflètent des critères de maintenabilité, de portabilité, d’absence de vulnérabilités et de dette technique. Les patrons peuvent être génériques ou spécifiques à une norme comme la norme DO-178C, et peuvent être affinés et spécialisés pour répondre aux exigences de la société ou du projet. On peut utiliser ces indicateurs pour classer de façon prioritaire les actions de remédiation et fournir une image globale lisible par l’être humain du statut du projet et de sa progression. Le projet AdaSquore va développer des outils appropriés d’analyse des données ainsi qu’un patron de modèle de qualité pour les applications Ada/SPARK qui utilisent des méthodes formelles ou l’orientation objet.

On peut utiliser cette technologie si nécessaire au cas par cas ou dans le cadre d’une procédure de développement agile utilisant l’intégration continue. Elle fournira des indicateurs de tendances qui permettront aux directeurs de contrôler la progression  de la qualité tout au long du cycle de vie du logiciel.

AdaSquore va intégrer des données qui proviennent de divers outils d’analyse statique et de test d’AdaCore (notamment CodePeer, SPARK, GNATmetric, GNATcheck, GNATcoverage et GNATest) ainsi que l’outil d’analyse SQUORE développé par SQUORING Technologies. Les projets faisant appel à d’autres langages de programmation peuvent profiter de la capacité de SQUORE à analyser les parties de l’application qui ne sont pas en Ada ou en SPARK. Il est prévu également d’intégrer ces capacités avec des outils de gestion des exigences, pour permettre d’élargir la portée du suivi au domaine de l’Ingénierie des Systèmes.

Tableau de bord d’AdaSquore

Tableau de bord d’AdaSquore

« Ce projet est passionnant », a déclaré le Président d’AdaCore Cyrille Comar. « Il va nous aider à valoriser les avantages d’Ada et de SPARK pour développer du logiciel critique. Avec Ada et SPARK, les clients disposent de la technologie de programmation disponible la plus sûre qui soit et une capacité sans précédent pour combiner vérification dynamique et vérification statique. Avec AdaSquore, ils pourront capturer les métriques de qualité pertinentes pour leur logiciel, contrôler la progression de leur équipe pour atteindre leurs objectifs et disposer d’un indicateur immédiat lorsqu’un problème apparaît ».

« Nous examinons plusieurs projets chaque année et grâce à la combinaison des technologies GNATdashboard et SQUORE, nous allons pouvoir prouver plus rapidement la validité et la sécurité de projets de logiciel critique », a déclaré Vincent Louis, Expert en Sûreté des Systèmes et des Logiciels à la DGA.

« Le projet AdaSquore offre la possibilité d’étendre l’évaluation et les capacités d’analyse de SQUORE par de nouveaux résultats de vérification avancée. C’est également un tremplin pour fournir une approche transversale de contrôle, comme le définit le champ d’Ingénierie des Systèmes », a déclaré Patrick Artola, le PDG de SQUORING Technologies.

A propos de SQUORING Technologies
Fondée en 2010 par un groupe d’ingénieurs logiciels experts, la société SQUORING Technologies est spécialisée dans l’évaluation et le suivi des projets de développement des systèmes et des logiciels.

Le tableau de bord de prise de décision SQUORE pour optimiser la qualité et la performance des projets informatiques est destiné à tous les secteurs dans lesquels les logiciels jouent un rôle essentiel en termes de coût ou de sûreté : avionique, spatial, automobile, ferroviaire, défense, énergie, télécommunications, systèmes d’information.

A propos de AdaCore
Fondée en 1994, la société AdaCore fournit des outils de développement et de vérification  des logiciels critiques nécessitant de hauts niveaux de sécurité et/ou de sûreté.

Quatre produits phares sont au cœur des offres de la société :

  • L’environnement de développement GNAT Pro pour Ada, un ensemble complet d’outils pour concevoir, déployer et gérer des applications qui exigent une haute fiabilité notamment pendant la phase de maintenance.
  • L’outil d’analyse statique avancé CodePeer, un outil d’analyse et  de validation automatique d’Ada susceptible de détecter et d’éliminer les erreurs tant au cours du développement que rétrospectivement sur les logiciels existants.
  • L’environnement de vérification SPARK Pro, un ensemble d’outils basé sur des méthodes formelles pour les systèmes très critiques, et
  • L’outil QGen pour le développement basé sur les modèles, un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® et Stateflow ®, destiné aux systèmes de contrôle critiques.

Au fil des années, nos clients ont utilisé les produits d’AdaCore pour établir et entretenir un large éventail d’applications critiques dans des domaines comme les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, la gestion et le contrôle du trafic aérien, les systèmes ferroviaires, les dispositifs médicaux et les services financiers. AdaCore dispose d’une importante base de clients en pleine expansion dans le monde entier ; consulter le site pour en savoir davantage.

Les produits d’AdaCore sont open source et sont fournis avec une assistance en ligne assurée par les développeurs experts eux-mêmes. Le siège de la société se trouve en Amérique du Nord, à New York et en Europe à Paris.

Contact :
Jamie Ayre, AdaCore