Sites Inria

Rencontre Inria Industrie

Qualité logicielle

À l’occasion de l’Open World Forum 2013, la direction du transfert et de l’innovation organise une Rencontre Inria Industrie sur la qualité logicielle le vendredi 4 octobre.

  • Date : 4/10/2013
  • Lieu : Le Beffroi 2 place Emilie Cresp - 92120 Montrouge - Salle Gopher (2.06)
  • Intervenant(s) : Isabelle Ryl, Xavier Leroy, Julie Lawall, Gilles Muller, Stéphane Ducasse, Sylvain Conchon, Mohamed Iguernelala, Pascal Fontaine
  • Organisateur(s) : Inria en partenariat avec les Instituts Carnot

Cette rencontre a pour objectif de faire coïncider les offres et services technologiques des équipes de recherche Inria, autour de la thématique "qualité logicielle" avec les usages et applications industriels pour initier des collaborations entre le monde industriel et la recherche :

En 20 ans, les systèmes informatiques ont envahi notre vie courante et sont désormais au coeur d’applications de plus en plus vitales. Leur complexité technique augmente sans cesse, alors que leur contexte de production est de plus en plus tendu : réductions de coûts, délais... On confie aux systèmes informatiques des missions de plus en plus critiques sans que leur sûreté et leur sécurité ne soient toujours à la hauteur.

Programme

8h45 : Accueil
 
9h00 : Ouverture de la rencontre

Isabelle Ryl  - Directrice du centre Inria Paris - Rocquencourt 

 
9h10 : Introduction scientifique - Panorama sur les outils de vérification de logiciels et leur contribution à l'amélioration de la sureté et la sécurité du logiciel

Xavier Leroy  - Responsable de l’équipe Gallium du centre de recherche Inria Paris - Rocquencourt

 
9h30 : Présentation du savoir-faire et des logiciels open source de quatre équipes de recherche Inria : REGAL, RMOD, TOCCATA et VERIDIS 
  • Coccinelle  - Outil de recherche et de transformation de programmes C. Il est utilisé pour trouver des bugs et réaliser des évolutions dans le code du noyau Linux (REGAL) 
  • Moose  - Plateforme pour construire des analyses de données et de code. Moose est composée de plusieurs engins (parser, visualisation, tool builder, metriques) qui, combinés, permettent la définition d’outils dédies répondant aux problèmes rencontrés (RMOD)
  • Why  et Alt-Ergo  - Alt-Ergo est un prouveur spécialement mis au point pour la vérification de programmes et Why un outil de génération de preuves (TOCCATA)
  • veriT  - Outil pour résoudre efficacement des formules logiques avec contraintes arithmétiques (VERIDIS)
 
10h30 : Rendez-vous individuels de 20 minutes entre le chercheur et le représentant d’une entreprise

NB :  Ces rendez-vous sont planifiés en amont de la rencontre suite à une qualification de l’entreprise. Pour plus de précisions ou si vous êtes intéressés par l’une de nos technologies, contactez Patrick Moreau par mail à patrick.moreau@inria.fr ou par téléphone au 01 39 63 78 40.

Patrimoine logiciel Inria 

Vous pouvez retrouver l'ensemble des technologies présentées lors de cette rencontre Inria Industrie sur la qualité logicielle, et bien d'autres, dans la rubrique Patrimoine technologique d'iCOMMUNITY

Localisation

Mots-clés : Rencontre Inria Industrie Open source Logiciel libre Qualité logicielle Rmod Veridis Regal Toccata Coccinelle Moose Why Alter-Ergo Verit

Haut de page

Suivez Inria