Select Language

AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification

Static analysis tool to be qualified as DO-178B verification tool, reducing software certification costs for industry leader UTC Aerospace Systems

NEW YORK and PARIS, January 27, 2016 - AdaCore today announced that its CodePeer static analysis tool has been adopted by Atlantic Inertial Systems Limited, a UTC Aerospace Systems company in the U.K., for usage on its TERPROM® digital terrain system for military transport aircraft. CodePeer automates the review and validation of Ada source code and helps detect potential errors early in development. As a qualified tool that automates several verification activities, CodePeer will facilitate UTC Aerospace Systems’ DO-178B certification of the TERPROM terrain referenced navigation software–the software that allows the TERPROM system to provide precise, reliable and predictive ground proximity warnings.

The CodePeer tool is sound; that is, it does not report false negatives. If CodePeer’s analysis of a program module reports no errors of a given type, then no errors are present. The static analysis tool reduces the need for manual code review, provides deep insight into potential issues, and automates parts of the DO-178B verification process for the certification of software in airborne systems. According to Hugh Williams, engineering director at UTC Aerospace Systems in Plymouth, “this analysis tool should help improve computational accuracy and verify that code is free of certain categories of run-time errors such as buffer overflows, floating point underflows and overflows, integer overflows and references to uninitialized variables.”

“Sound static analyzers allow code reviews to be significantly more effective and less time consuming than traditional manual methods,” said Cyrille Comar, AdaCore President and a member of the SC205 (DO-178C) Working Group . “This automation is a major new trend in the verification of critical software, and we are pleased to lend our support by qualifying CodePeer for our avionics customers.”


About UTC Aerospace Systems
UTC Aerospace Systems is one of the world’s largest suppliers of technologically advanced aerospace and defense products. It designs, manufactures and services systems and components and provides integrated solutions for commercial, regional, business and military aircraft, helicopters and other platforms. It is also a major supplier to international space programs.


About CodePeer
Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors. Going well beyond the capabilities of typical static analysis tools, CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions. Such an analysis makes it easier to find potential bugs and vulnerabilities early: if the implicit specification deduced by CodePeer does not match the component’s requirements, a reviewer is alerted immediately to a likely logic error. During system development, CodePeer can help prevent errors from being introduced, and it can also be used as part of a systematic code review process to dramatically increase the efficiency of human review. Furthermore, CodePeer can be used retrospectively on existing code, to detect and remove latent bugs.

CodePeer has been previously qualified as a verification tool under DO-178B on other airborne systems, and it has also been qualified as a class T2 tool for data and control flow analysis under EN 50128 for rail 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 www.adacore.com/customers/ 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. www.adacore.com

Press Contacts
Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jenna Beaucage
Rainier Communications (for AdaCore)
Tel: +1-508-475-0025 x124
jbeaucage@rainierco.com

Le logiciel CodePeer d’AdaCore est sélectionné pour les Systèmes Numériques de Terrain qui exigent la certification DO-178B

Un outil d’analyse statique qualifié comme outil de vérification DO-178B permettra de réduire les coûts de certification des logiciels à UTC Aerospace Systems

NEW YORK et PARIS, janvier 27, 2016 – AdaCore a annoncé aujourd’hui que son outil d’analyse statique CodePeer avait été adopté par la société Atlantic Inertial Systems Limited, une société de UTC Aerospace Systems au Royaume Uni, pour l’utiliser avec son système numérique de terrain TERMPROM® pour les avions de transport militaire. CodePeer automatise l’analyse et la validation du code source Ada et permet de détecter les erreurs potentielles rapidement dans le développement. En tant qu’outil qualifié qui permet d’automatiser plusieurs activités de vérification, CodePeer va faciliter pour UTC Aerospace Systems la certification DO-178B des logiciels de navigation de terrain TERMPROM, les logiciels qui permettent au système TERMPROM de fournir des alertes de proximité du sol précises, fiables et prédictives.

L’outil CodePeer est toujours correct ; c'est-à-dire, qu’il ne renvoie pas de faux négatifs. Si l’analyse faite par CodePeer d’un module du programme ne renvoie aucune erreur d’un type donné, c’est qu’il n’y a aucune erreur. L’outil d’analyse statique réduit la nécessité d’une analyse manuelle du code, apporte une vue précise des problèmes potentiels et automatise certaines parties de la procédure de vérification DO-178B pour la certification des logiciels des systèmes aéroportés. D’après Hugh Williams, le directeur de l’ingénierie de la société UTC Aerospace Systems de Plymouth, « cet outil d’analyse devrait permettre d’optimiser la précision des calculs et de vérifier que le code est correct vis-à-vis de certaines catégories d’erreurs d’exécution comme le débordement mémoire, les débordements numériques (entiers ou nombres à virgule flottante) et les lectures de variables non initialisées. »

« Les analyseurs statiques toujours corrects permettent une analyse des codes beaucoup plus efficace et rapide que les méthodes manuelles traditionnelles, » a déclaré Cyrille Comar, le Président d’AdaCore et membre du groupe de travail SC205 (DO-178C). « Cette automatisation est une tendance nouvelle essentielle dans la vérification des logiciels critiques et nous sommes ravis d’apporter notre soutien en qualifiant CodePeer pour nos clients en avionique. »

A propos de UTC Aerospace Systems
La société UTC Aerospace Systems est un des plus importants fournisseurs mondiaux de produits de haute technologie destinés aux secteurs de l’industrie aérospatiale et de la défense. Elle élabore, fabrique et entretient des systèmes et des composants et propose des solutions intégrées destinées aux aéronefs et hélicoptères commerciaux, régionaux, professionnels et militaires et autres plateformes. C’est également un important fournisseur de programmes spatiaux internationaux.

A propos de CodePeer
Agissant comme un analyseur de code précis et efficace, CodePeer identifie des enchaînements susceptibles de générer des erreurs d’exécution comme les débordements mémoire et il identifie le code légal mais suspect, typique des erreurs logiques. Allant bien au-delà des capacités des outils typiques d’analyse statique, CodePeer génère également l’analyse détaillée de chaque sous-programme, notamment les conditions préalables et les propriétés garanties. Une telle analyse facilite le repérage précoce des erreurs et des vulnérabilités potentielles : si la spécification implicite déduite par CodePeer ne correspond pas aux spécifications du composant, un relecteur est alerté immédiatement de l’existence d’une erreur logique vraisemblable. Au cours du développement du système, CodePeer peut permettre d’éviter l’introduction d’erreurs et peut également être utile lors des revues systématiques du code pour accroître de façon importante l’efficacité de l’analyse humaine. En outre, on peut utiliser CodePeer rétrospectivement sur des codes existants, pour détecter et supprimer les erreurs latentes.

CodePeer a déjà été qualifié comme outil de vérification homologué DO-178B sur d’autres systèmes aéroportés et a également été qualifié comme outil de catégorie T2 pour l’analyse des flux de données et des flux de contrôle dans le cadre de la norme EN 50128 pour les systèmes ferroviaires.   

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 www.adacore.com/customers/ 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. www.adacore.com.

Contact pour la presse
Jamie Ayre    
AdaCore    
press@adacore.com
http://twitter.com/AdaCoreCompany