AdaCore a profité de l’Embedded Real Time Software and Systems 2012 de Toulouse pour annoncer sa participation dans les initiatives Projet P (France) et Hi-MoCo (Europe). Point sur cette annonce avec Cyrille Comar, cofondateur et président d’AdaCore Europe (notre photo).
« Nous sommes spécialisés dans la génération de code. L’objectif est ici de s’adapter aux langages de modeling, et de leur faire générer un code efficace et utilisable en production », explique-t-il. Toutefois, l’approche est différente de celle du projet Gene-Auto (dont il se veut le successeur). « Projet P est beaucoup plus ambitieux en matière de qualité de génération de code. Nous parlons ici de générateur de code qualifié, qui permet de créer du code utilisable sans vérifications, ces dernières se faisant sur le modèle et non sur le code généré. »
AdaCore se chargera de créer ce générateur de code Ada et C/C++. Cet outil ira au-delà d’offres comme Simulink, pour prendre en charge des solutions telles l’UML, SysML ou AADL. Il génèrera du code intermédiaire cohérent depuis ces différentes sources, afin de faciliter les processus de certification. À terme, tous les langages de modeling utilisés dans l’avionique, l’espace et l’automobile devraient être couverts. L’ensemble sera accessible sous licence open source.
Si AdaCore s’octroie un rôle de catalyseur dans ce projet, de nombreux industriels font partie du consortium, comme Airbus, Atos, Continental, l’INRIA, Thales, etc.
Compatible avec de multiples outils de création de modèles, le générateur de code de Projet P et Hi-MoCo permettra d’aider l’industrie de l’embarqué à aller vers des solutions multidomaines (unifiées pour les secteurs de l’automobile, de l’avionique, de l’énergie, du spatial, etc.).
« La France (comme l’Allemagne) est très consciente des synergies possibles dans ce domaine, car les secteurs de l’avionique, de l’espace et de l’automobile y sont particulièrement développés, remarque Cyrille Comar. Le monde du modeling murit et a besoin de vraies solutions industrielles. »
Crédit photo : © DataCore
Pour développer une version 7B de son modèle Codestral, Mistral AI n'a pas utilisé de…
L’Autorité de la concurrence et des marchés (CMA) britannique ouvre une enquête sur les conditions…
Thomas Gourand est nommé Directeur Général pour la France. Il est chargé du développement de…
Pour dissuader le CISPE d'un accord avec Microsoft, Google aurait mis près de 500 M€…
Pour réduire la taille des mises à jour de Windows, Microsoft va mettre en place…
De l'organisation administrative à la construction budgétaire, la Cour des comptes pointe le fonctionnement complexe…