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
Un temps pressenti pour constituer le socle d'une suite bureautique AWS, Amazon WorkDocs arrivera en…
Eviden regroupe cinq familles de serveurs sous la marque BullSequana AI. Et affiche le supercalculateur…
Le dernier Magic Quadrant du SSE (Secure Service Edge) dénote des tarifications et des modèles…
Formats de paramètres, méthodes d'apprentissage, mutualisation GPU... Voici quelques-unes des recommandations de l'ANSSI sur l'IA…
À la grogne des partenaires VMware, Broadcom répond par diverses concessions.
iPadOS a une position suffisamment influente pour être soumis au DMA, estime la Commission européenne.