AdaCore lance le projet Open Source de couverture de code

jeudi 18 septembre 2008

AdaCore, avec Open Wide, Télécom ParisTech et le LIP6, lance le projet Couverture. Financé par la Direction Générale des Entreprises du Ministère de l'Industrie, la région Ile-de-France et le département de Paris, le Projet Couverture est un projet de type Open-Source développé sur deux ans qui a démarré le 1er septembre 2008. Ce projet vise le développement d'outils d'analyse de couverture de code utilisables par des développeurs d'applications critiques nécessitant notamment une certification aux normes de sécurité telles que la norme DO‑178B dans le domaine de l'avionique.

L'idée centrale du Projet Couverture est de faire bénéficier la couverture de code des dernières avancées réalisées dans le domaine des technologies d'émulation et de virtualisation. Le programme combine pour la première fois plusieurs tendances majeures dans l'univers du logiciel (Logiciel Libre/Open Source, Virtualisation, Qualification DO-178B) afin de développer une solution unique de couverture de code utilisable par l'ensemble des développeurs, y compris ceux opérant sur des programmes critiques.

En amont de la production d'outils et de matériel de certification conçus pour l'industrie, une part importante du Projet Couverture consiste à sensibiliser la communauté Logiciel Libre/Open Source aux problématiques des applications critiques et de certification.

Le Projet Couverture vise la définition d'un processus d'analyse de couverture de code objet et le développement d'outils qui soient :

- Faciles dans leur utilisation et leur déploiement en fournissant des résultats sur un « hôte » de développement (sans nécessiter d'exécution sur un équivalent matériel de la machine cible embarquée) ;

- Indépendants des langages de programmation (Ada, C et C++) et chaînes de développement associées ;

- Non-intrusifs en permettant l'analyse du code tel que destiné à être embarqué ;

- Adaptables aux environnements de test fonctionnel existants ;

- Conformes aux objectifs de « qualification outil » DO-178B, fondée sur une validation de conformité vis-à-vis d'exigences exprimées.

Les outils du Projet Couverture seront disponibles en Open Source et les utilisateurs industriels auront la possibilité d'opter pour un support commercial pouvant leur accompagner jusqu'à la certification DO-178B.

Pour de plus amples informations sur le Projet Couverture, merci de visiter : http://www.adacore.com/home/company/development_projects

Imprimer l'article