Sites Inria

English version

Rencontres Inria - Industrie

Les industries de l'aéronautique et de l'espace - Partie 2

Logo Rencontres INRIA Industrie

Inria a organisé le 17 mai 2010 à Toulouse, en partenariat avec le pôle de compétitivité mondial Aerospace Valley, le second volet des Rencontres Inria Industrie sur le thème "Modélisation et systèmes sûrs". Cette journée a fait suite au premier rendez-vous intitulé "Modélisation & simulation numérique" qui a eu lieu le 26 janvier dernier à Bordeaux.

Cette journée a été l’occasion pour les industriels de dialoguer directement avec les chercheurs. Au-delà de la présentation des derniers travaux de l’institut, cette rencontre a été une véritable opportunité pour les industriels d'identifier les nouvelles technologies qui, demain, seront au cœur de leurs productions, et pour les chercheurs de mieux connaître les enjeux du marché et les besoins de l’industrie.

Vous avez pu découvrir les travaux d'Inria et des partenaires industriels (sous la forme de démonstrations interactives) dans les domaines :

  • des systèmes embarqués ;
  • de la preuve et de la vérification de programmes ;
  • de l'optimisation de l’indexation 3D.

Parallèlement à ces démonstrations, des conférences ont été consacrées :

  • au logiciel libre ;
  • aux systèmes temps réel embarqués ;
  • à la fiabilité du logiciel.

Cette journée a eu lieu en amont du congrès européen ERTSS 2010 (Embedded Real Time Software and Systems).

Haut de page

Suivez Inria