Page 36 - Recherche pour les entreprises, Carnot prépare l'avenir

//////////////////////3/6////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////

k partenariats institut carnot lsi – gmv / fnrae / actoll / cyberio

BIP : nouvelle génération d’outils
de développement de systèmes
embarqués

Contrairement à d’autres systèmes infor- BIP a été mis en œuvre lors du développement
matiques, où les conceptions du logiciel de plusieurs applications industrielles menées
et celles du matériel sont séparées, avec différents partenaires :
les applications embarquées nécessi-
tent d’introduire de nouvelles méthodologies, k G MV - Industriel espagnol dans le domaine
traitant conjointement matériel et logiciel. de l’aéronautique et l’espace : développement
Ces méthodologies sont incontournables pour de la partie fonctionnelle de l’architecture
produire des systèmes embarqués qui satisfont logicielle d’un robot planétaire.
des critères de qualité à des coûts raisonnables.
Elles constituent à la fois un enjeu économique k F NRAE - Fondation Nationale pour la
et un défi scientifique. Recherche en Aéronautique et l’Espace :
Afin de répondre aux demandes de plusieurs développement de la partie fonctionnelle de
de ses partenaires industriels et relever ce défi l’architecture d’un satellite.
majeur, les équipes du laboratoire Verimag de
l’institut Carnot LSI ont développé une approche k A ctoll - entreprise grenobloise : réalisation
globale «basée sur les composants», intégrant les d’un coupleur monétique pour paiement
paradigmes essentiels de la conception du maté- sécurisé au péage d’autoroute.
riel et l’ingénierie logicielle de façon cohérente.
L’avantage de l’approche développée est qu’elle k C yberio - entreprise grenobloise : il s’agit
permet un développement rigoureux, ce qui d’un contrat récent, dont l’objectif est de
facilite le processus de validation tôt dans la développer un environnement de conception
phase de conception et permet parfois d’aller des systèmes à base de capteurs multimédia
jusqu’à une preuve mathématique complète distribués. n
de la correction du système. Elle facilite éga-
lement la certification du développement par “L’avantage de l’approche développée
des autorités spécialisées. Enfin, elle ouvre la est qu’elle permet un développement
voie vers l’automatisation de l’implantation, rigoureux ce qui facilite le processus de
avec des techniques de synthèse formelle qui validation tôt dans la phase de conception.”
garantissent la «correction par construction».
Cette approche s’appuie sur l’environnement
de modélisation de composants temps réel
hétérogènes BIP (« Behavior, Interaction,
Priority »), et intègre un ensemble d’outils de
validation, de vérification et de génération de
code pour des plateformes cibles.