En continu   Le Podcast   Industrie aéronautique   Transport aérien   Défense   MRO & Support   Interiors & PaxExp   Aviation & Environnement   Passion  
 
Actualité aéronautique Industrie & Technologie Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués

Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués

14 SEPT. 2021 | Romain Guillot | 879 mots
Comment AdaCore s'impose toujours plus dans l'avionique et les systèmes embarqués
Photo © Le Journal de l'Aviation - tous droits réservés
AdaCore est au coeur des logiciels critiques pour l'aéronautique civile et militaire en fournissant des outils de développement aux principaux acteurs du secteur. Spécialiste des langages Ada et SPARK, la société renforce encore son positionnement en s'appuyant sur la réglementation DO-178C pour faciliter le processus de certification des logiciels avioniques de ses clients.

Un succès transatlantique dans les logiciels embarqués

Comme nous l'explique Jamie Ayre, le directeur commercial d'AdaCore, la société est née aux États-Unis en 1994 en participant à un projet de recherche financé par le DoD pour créer un outil de développement et de compilation dans le langage Ada, un langage d'ailleurs lui-même aussi inventé pour les besoins du Pentagone qui venait de réaliser qu'il disposait de beaucoup trop de langages en utilisation, avec la difficulté de devoir maintenir de nombreux systèmes et en assurer leur sécurité. AdaCore a alors fourni sa technologie, du support, mais surtout aussi la faculté pour ses clients de produire des logiciels propriétaires, les outils eux-mêmes étant open source. La société s'est ensuite implantée en France en 1996 pour se développer sur le marché européen, une stratégie payante puisque la filiale française est devenue la maison mère de toutes ses autres filiales (US, Royaume-Uni, Allemagne et Estonie) depuis, avec plus d'une soixantaine de personnes à Paris.

Le succès commercial d'AdaCore ne se dément d'ailleurs plus des deux côtés de l'Atlantique. Aux États-Unis, la société travaille avec les plus grands (GE, Boeing, Lockheed Martin, Raytheon...). Elle vient d'ailleurs de signer un important contrat avec l'équipementier Collins Aerospace pour lui fournir le générateur de code automatique QGen pour les modèles Simulink® et Stateflow® (lire l'encadré en bas de page). En Europe, AdaCore collabore notamment avec Thales sur les programmes Airbus grâce à son implantation en France, « au coeur de la maison de l'avionique en Europe » comme le décrit Jamie Ayre. Il note d'ailleurs que l'une des bases du succès des outils de développement et de compilation de la société repose aussi sur le fait qu'ils ne souffrent d'aucune règle ITAR, un impératif en Europe.

Jamie Ayre nous explique aussi que le modèle économique d'AdaCore repose sur une souscription annuelle et qu'au fur et à mesure que la réputation de la société et que les relations avec ses clients se sont développées, la demande pour plus de technologies pour maintenir, bâtir et faire grandir les logiciels s'est aussi fait sentir, tout comme une demande croissante pour les services.

Faciliter la certification auprès des autorités aéronautiques

La mise en place de la norme DO-178C, associée au concept d'ingénierie des systèmes basé sur le modèle (Model Based System Engineering - MBSE) sont venus simplifier les processus de conception des logiciels embarqués ces dernières années.

Pour Cyrille Comar, Président et cofondateur d'AdaCore « DO-178C a été extrêmement efficace pour donner l'assurance que le logiciel répond à ses exigences déclarées, mais son défi majeur est qu'elle est perçue comme une norme assez exigeante et donc assez coûteuse à appliquer ». Ainsi, pour faciliter le processus de certification des logiciels avioniques de ses clients, il explique qu'AdaCore fournit des bibliothèques d'exécution spécialisées qui ont déjà été utilisées dans des systèmes certifiés ainsi des outils de développement et de vérification qui ont été qualifiés pour une utilisation à cette norme. « Les preuves de certification / qualification peuvent être mises à disposition de nos clients, simplifiant ainsi leur effort et réduisant leurs coûts » précise-t-il.

« Nous élargissons notre offre en fournissant plusieurs services qui aident nos clients à s'assurer que le software fera ce qu'il est censé faire même lors des situations qui sortent de l'ordinaire » ajoute Jamie Ayre. Il cite notamment la création d'une plateforme multi-usage de GE en collaboration étroite avec son partenaire Wind River, une plateforme qui devait être certifiée conforme avec les standards avioniques DO-178. « Aujourd'hui, nous avons vraiment dédié une partie de notre société, au niveau des offres et des ressources, pour aider les clients à aborder ces contraintes de certification » explique-t-il. Mieux, AdaCore a créé des outils qui prennent ces modèles et qui vont les traduire en code tout en permettant de fournir des preuves aux autorités de certifications (EASA, FAA...) pour démontrer qu'ils sont conformes aux normes DO-178. « Nous facilitons la certification et mettons en place des outils qui apportent de la souplesse lors du processus de certification grâce à nos services et à notre expertise » poursuit-il.

AdaCore propose ainsi des services de support grâce à des informaticiens BAC +5 à BAC +8, les clients ayant alors accès à un niveau d'expertise inégalé sur le langage de programmation en lui même, sur les outils et sur des domaines spécifiques comme la certification avionique. « C'est une réelle garantie pour les clients pour construire leur plateforme, les faire certifier, mais aussi les maintenir sur la durée ».

Collins Aerospace utilisera le générateur de code QGen d'AdaCore pour les modèles Simulink® et Stateflow®

Collins Aerospace vient d'adopter le générateur de code QGen AdaCore pour ses logiciels aérospatiaux les plus critiques qui seront développés avec son système Perigon. L'équipementier américain utilisera le générateur de code pour rationaliser ses pratiques de développement logiciel basé sur des modèles

Le logiciel génère automatiquement du code source en language C ou en Ada à partir d'un modèle en conservant sa capacité fonctionnelle ce qui évite le recours à une vérification manuelle du code source obtenu. Le générateur de code QGen d'AdaCore pour les modèles Mathworks's Simulink® est associé au nouveau service « Enterprise Qualification Package » TQL-1 (DO-178C).

Le système Perigon de Collins est quant à lui certifié par la FAA.

Romain Guillot
Rédacteur en chef
Cofondateur du Journal de l'Aviation et d'Alertavia


Une sélection d'actualités récentes
IL Y A 8 HEURES  
L'équipage extraordinaire de Rêves de gosse décolle L'équipage extraordinaire de Rêves de gosse décolle
C'est aujourd'hui que décolle l'« équipage extraordinaire » de Rêves de gosse, dans le cadre du tour 2022 de l'association ...
25 MAI 2022  
MRO : CFM International lance une solution de maintenance spécialement dédiée aux clients VIP du LEAP MRO : CFM International lance une solution de maintenance spécialement dédiée aux clients VIP du LEAP
CFM International a profité du salon EBACE à Genève pour lancer officiellement CFM LEAP VIP Services, un programme de couverture ...
25 MAI 2022  
MCO : Nouveau contrat de soutien d'envergure pour Airbus aux États-Unis avec la flotte de Lakota de l'US Army MCO : Nouveau contrat de soutien d'envergure pour Airbus aux États-Unis avec la flotte de Lakota de l'US Army
Airbus vient de remporter un important contrat de maintenance pour les hélicoptères Lakota de l'US Army dans le cadre d'une ...
25 MAI 2022  
Ethiopian Airlines s'engage sur cinq Boeing 777 cargo supplémentaires Ethiopian Airlines s'engage sur cinq Boeing 777 cargo supplémentaires
Boeing a révélé qu'Ethiopian Airlines était la compagnie cliente de cinq 777F qui figuraient au carnet de commandes mais dont ...
25 MAI 2022  
Pieter Elbers, ancien directeur général de KLM, nommé à la tête d'IndiGo Pieter Elbers, ancien directeur général de KLM, nommé à la tête d'IndiGo
IndiGo a annoncé la nomination de Pieter Elbers au poste de PDG. Il prendra ses fonctions le 1er octobre en ...
Cette sélection d'actualités est issue de la rubrique ALERTAVIA. Les abonnés du Journal de l'Aviation ont accès à un nombre beaucoup plus important d'actualités chaque jour. Pour en savoir plus, découvrez nos différentes formules d'abonnement.
Les derniers articles Industrie & Technologie
IL Y A 6 HEURES
« L'aviation commerciale et la défense sont anticycliques, cela nous permet d'avoir deux pieds pour notre croissance », Thierry Mootz, DG de Latécoère
Invité du Podcast de l'Aviation cette semaine, Thierry Mootz, directeur général de Latécoère. Après deux années très difficiles, Latécoère a repris avec confiance le chemin de la croissance et ...
23 MAI 2022
Avec son nouveau Creative Studio à Toulouse, Airbus peut enfin montrer tous les atouts de la vaste cabine de l'ACJ TwoTwenty
C'est incontestablement l'argument massue du dernier membre de la famille ACJ (Airbus Corporate Jet) face aux gros jets d'affaires à fuselage large. La vaste cabine de l'ACJ TwoTwenty, ...
23 MAI 2022
EBACE : Dassault Aviation fait le point sur ses programmes d'avions d'affaires Falcon
Alors que le Falcon 6X fait son baptême du feu à Genève à l'occasion du salon EBACE qui se tient du 23 au 25 mai, Dassault Aviation a ...
Une sélection d'articles réservés aux abonnés
Avec son nouveau Creative Studio à Toulouse, Airbus peut enfin montrer tous les atouts de la vaste cabine de l'ACJ TwoTwenty EBACE : Dassault Aviation fait le point sur ses programmes d'avions d'affaires Falcon
EBACE : Bombardier présente son Global 8000 Avec EVO, ATR prépare sa prochaine génération d'avions régionaux à capacité hybride
COMAC fait voler le premier C919 de série ATR fait décoller son ATR 42-600 STOL en configuration partielle
FedEx réceptionne son premier Cessna SkyCourier Qantas relance le projet Sunrise, commande 12 Airbus A350-1000 et confirme ses A321XLR et A220
IL Y A 5 HEURES
La Haute Cour de justice de Londres accélère le calendrier dans l'affaire opposant Airbus et Qatar Airways
IL Y A 6 HEURES
« L'aviation commerciale et la défense sont anticycliques, cela nous permet d'avoir deux pieds pour notre croissance », Thierry Mootz, DG de Latécoère
IL Y A 8 HEURES
L'équipage extraordinaire de Rêves de gosse décolle
25 MAI 2022
MRO : CFM International lance une solution de maintenance spécialement dédiée aux clients VIP du LEAP
25 MAI 2022
MCO : Nouveau contrat de soutien d'envergure pour Airbus aux États-Unis avec la flotte de Lakota de l'US Army
Et si une importante flotte de Mirage 2000 se posait rapidement au Maroc...
« L'aviation commerciale et la défense sont anticycliques, cela nous permet d'avoir deux pieds pour notre croissance », Thierry Mootz, DG de Latécoère
Revima SOA en recherche active de candidats dans tous ses métiers
Les articles les plus lus
Et si une importante flotte de Mirage 2000 se posait rapidement au Maroc...
Le Boeing 777X glisse encore d'une année supplémentaire, au grand dam d'Emirates
Avec l'A350 d'Airbus, la distance n'est plus la limite
Air France rénove ses 12 derniers Boeing 777-300ER avec une nouvelle cabine
« On n'aura jamais vendu autant d'avions chez Daher qu'en 2021 », Didier Kayat, DG de Daher
Espace partenaires
Les nouveaux défis liés au stockage et au démantèlement d'avions commerciaux
Contribution de Carolina Göthberg, Associée fondateur de KAIRN Strategy Consulting
 
Cybersécurité : l'industrie aéronautique est particulièrement vulnérable par ces temps de crise
Par David Luponis, Associé Cybersécurité Mazars
 
Quelques réflexions sur le Big (Bang) Data dans le secteur aéronautique au regard du droit
Contribution de Jean-Jacques LE PEN, Associé fondateur du Cabinet LPLG AVOCATS
 
S'inscrire aux newsletters gratuites du Journal de l'Aviation

 Recevoir des E-mailings de nos partenaires


En renseignant votre adresse email, vous acceptez de recevoir nos lettres d'information par courrier électronique. Votre adresse de messagerie est uniquement utilisée pour vous envoyer nos lettres d'information. Vous pourrez à tout moment utiliser le lien de désabonnement intégré dans les newsletters.
Notre actualité | Qui sommes-nous ? | Programme rédactionnel | Mentions légales | Confidentialité | CGV | Contact | Plan du site

© 2022 Le Journal de l'Aviation - Groupe AEROCONTACT