Lorsque des vies sont en jeu, un logiciel n’a pas droit à l’erreur...

SOMMAIRE

Fiche d’identité


• Présentation d’AdaCore
  
  
• AdaCore - Partenaire leader du projet couverture
  
  
• Autres partenaires du projet couverture
  Open Wide, LIP6 de l’Université Pierre & Marie Curie, TELECOM ParisTech, DGE(1), Département de Paris
  
• Références AdaCore
  
  
• Cas clients
  
  
• Partenaires stratégiques
  
  (1) Direction Générale des Entreprises
  
  
  
  

AdaCore

Fondée en 1996, AdaCore est le fournisseur numéro 1 de solutions logicielles d’entreprise pour le langage de programmation Ada, conçues pour les applications de grande taille et de longue durée pour lesquelles la sécurité, la sûreté et la fiabilité sont des facteurs critiques. Le fleuron de la technologie AdaCore est l’environnement de développement GNAT Pro, qui s’accompagne d’une expertise en ligne et qui est présent sur davantage de plates-formes que n’importe quelle autre technologie Ada.

Ada et GNAT Pro sont utilisés dans un nombre toujours croissant d’applications sensibles et certifiées dans des domaines très variés : aéronautique civile, systèmes de défense, gestion et contrôle du trafic aérien, systèmes ferroviaires, équipements médicaux, services financiers. Le siège d’AdaCore est situé à New York et son siège européen se trouve à Paris.

Expertise

Depuis sa création, AdaCore a été intimement associée au développement du langage de programmation Ada. Plusieurs dirigeants d’AdaCore ont participé aux premiers développements du langage Ada : un langage qui dès son origine était en avance sur son temps. De par sa conception, Ada permet aux logiciels professionnels de répondre plus rapidement et plus efficacement aux besoins des entreprises. Il encourage une démarche consistant à “penser d’abord, et à coder ensuite” qui aide à produire des logiciels plus ergonomiques, plus fiables et plus durables.

Valeurs-clés

Leadership

AdaCore est leader dans le développement autour du langage Ada, de par son engagement dans la révision Ada 2005, ses initiatives communautaires pour promouvoir le langage Ada auprès des professionnels et des chercheurs, ou des avancées continues de ses outils et ses services.

Qualité

AdaCore place la qualité au cœur de son expertise. L’environnement de développement GNAT Pro, fleuron des solutions AdaCore, a été conçu en apportant un soin extrême tant à sa robustesse qu’à sa souplesse.

Fiabilité

Proposant des solutions conçues pour le maniement de logiciels critiques, AdaCore apporte à ses clients une assurance totale sur la qualité des technologies utilisées et de son expertise.

« Le soutien d’AdaCore a été déterminant dans l’élaboration du Projet Couverture. AdaCore est une entreprise dont la culture est très fortement ancrée dans l’univers du Logiciel Libre et qui compte de nombreux clients dans le secteur de l’avionique réglementé par la certification DO-178B ».

Roberto Di Cosmo, Président du Groupe Logiciels Libres de System@tic, Pôle de compétitivité de la région Ile-de France

AdaCore est le partenaire leader du 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 2 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 DO-178B dans le domaine de l’avionique.

« Le Projet Couverture va permettre des échanges fructueux entre les spécialistes de la certification et les développeurs des communautés Logiciel Libre/Open Source ayant initialement des approches très différentes. »

Cyrille Comar, Représentant d’AdaCore au comité de certification DO-178C

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

• 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é, sans instrumentation ;
  
• Adaptables aux environnements de test fonctionnel existants ;
  
• Qualifiés au sens de la norme DO-178B, fondée sur une validation de conformité vis-à-vis d’exigences exprimées.
  
  
  
  

Autres partenaires du Projet Couverture

Open Wide

Open Wide a été créée fin 2001 avec le soutien de Thales et de Schneider Electric afin d’évaluer et de saisir les nouvelles opportunités industrielles offertes par le monde foisonnant des logiciels libres. Par vocation, Open Wide est une entreprise d’expertise technologique, dans le domaine des technologies Open Source et notamment autour de l’environnement Linux.

LIP6 de l’Université Pierre & Marie Curie

Le LIP6 est un laboratoire de recherche sous tutelle de l’Université Pierre & Marie Curie et du CNRS (UMR 7606). Avec 128 chercheurs permanents et 231 doctorants, il est l’un des principaux laboratoires de recherche en informatique en France.

TELECOM ParisTech

Fleuron de l’Institut TELECOM, lieu d’invention il y a un siècle du mot « télécommunication », TELECOM ParisTech s’est bâtie depuis une reconnaissance internationale dans tous les champs des Technologies de l’Information et de leurs impacts économiques et sociaux.

DGE

La Direction générale des entreprises (DGE) réalise la synthèse entre les préoccupations de politique industrielle et les aspects régionaux pris en charge par les Directions régionales de l'Industrie, de la Recherche et de l'Environnement (DRIRE). En renforçant les synergies entre les équipes des DRIRE en régions et celles de l'administration centrale, la DGE favorise le développement des entreprises et leur compétitivité, un meilleur suivi des politiques menées au niveau local, la conduite d’actions plus ciblées en cohérence avec les mesures adoptées sur le plan national.

Département de Paris

Le Département de Paris compte plus de 2 millions d’habitants. Avec plus de 1,5 million de personnes actives et près de 300 000 entreprises, son PIB est estimé à 158 milliards d’euros en 2005.

Des clients répartis dans le monde entier

Cas clients

Système d’auto-défense maritime Raytheon a délivré le système d’auto-défense maritime (SSDS Mk 2) utilisant GNAT Pro pour LynxOS à l’intérieur de son environnement de développement logiciel multi-langage. SSDS Mk 2 est un système de combat qui intègre et coordonne les systèmes de détection et d’armement à bord des vaisseaux de la marine militaire afin d’obtenir une vision cohérente des situations, une prise de commande et de contrôle, et assurer une défense rapide. Lire le communiqué de presse

Système britannique de contrôle de trafic aérien dernière génération Grâce à la forte attention portée par AdaCore aux questions de support et de fonctionnalités de logiciels critiques, GNAT Pro a été retenu pour l’implémentation du nouveau système britannique de contrôle de trafic aérien. Lire le communiqué de presse

Programme de modernisation avionique C-130 L’U.S. Air Force a mis sur pied le programme de modernisation avionique du C Lire l’article

T25 SECT Electronic Combat Trainer AAI Services Corporation s’est servi de GNAT Pro dans le cadre d’une mise à niveau général du simulateur de combat T25 utilisé par l’U.S. Air Force dans son système électronique d’entraînement de combat. Le système T25 SECT est une solution logicielle dédiée à la formation qui utilise des exercices de combat et des simulations de missions pour enseigner les principes de contre-mesures. Lire le communiqué de presse

787 Dreamliner En partenariat avec Wind River, la technologie AdaCore est utilisée sur le système commun principal du 787, fourni par Smiths Aerospace, qui est l’épine dorsale des ordinateurs de l’appareil, et des éléments de réseaux et interfaces. Le système commun principal du 787 rassemble entre environ 80 et 100 applications fonctionnant simultanément qui contrôlent des fonctions avioniques et utilitaires de l’appareil. Lire le communiqué de presse

Eurofighter Typhoon BAE Systems utilise l’environnement de développement GNAT Pro pour des compilations “hôte” Ada dans le développement de logiciels conçus pour les ordinateurs de mission de l’Eurofighter. Lire le cas d'application

Le système de réapprovisionnement « Boom system » EADS CASA a choisi AdaCore GNAT Pro dans sa version haute-intégrité pour VxWorks653 en vue de développer une solution logicielle pour son système de réapprovisionnement. Ce logiciel sera certifié jusqu’au Niveau A de la norme RTCA DO-178B. Lire le cas d'application

Siège éjectable pour pilote La marine américaine utilise un nouveau séquenceur de siège éjectable qui éjectera pilote et copilote des appareils F-18, F-14, et T-45 en cas d’urgence et ce en moins de 0,2 seconde depuis le moment où la manette d’éjection est actionnée. Lire le cas d'application

Canadian Space Arm MacDonald Dettwiler (MDA) a choisi Open-Source GNAT Ada 95 parmi les principales technologies Ada pour développer des logiciels de contrôle pour le système de service mobile, un élément essentiel de la Station Spatiale Internationale. Lire le cas d'application

PARTENAIRES STRATÉGIQUES

Wind River

Wind River est un des leaders mondiaux des logiciels embarqués proposant des outils de développement, des systèmes opérant en temps réel et de connectivité avancée pour des solutions logicielles couvrant des secteurs d’activités variés tels que l’aérospatial et la défense. GNAT Pro est une solution reconnue et largement utilisée sur les plates-formes Wind River.

HP

GNAT Pro est actuellement disponible et supporté par les plates-formes HP suivantes : OpenVMS et Tru64 sur les systèmes AlphaServer ; HP-UX, HP Linux, et OpenVMS pour les serveurs d’intégrité HP.

Praxis High Integrity Systems

Conçu par Praxis, SPARK est un langage de programmation de haut niveau basé sur Ada ainsi qu’un équipement de développement d’applications hautement sécurisées. SPARK est compatible avec les options supportées par la version GNAT Pro High Integrity. Enfin, les outils SPARK sont appelés via GPS.

Verocel

Verocel a développé un kit de certification pour les éléments en phase d’exécution accompagnant la version « High-Integrity » de GNAT Pro. Ce kit contient tous les artefacts nécessaires pour répondre aux objectifs de la norme DO-178B pour un système de Niveau A.