Equipe d'Informatique
Equipe Vérification Numérique


L'équipe de recherche en informatique "Vérification Numérique", composée de chercheurs relevant de la section 27 du CNU, s'intéresse à l'impact de la discrétisation des calculs, nécessaire à leur résolution sur ordinateur. Ses travaux portent notamment sur l'étude des relations entre
calculs en précision finie et infinie et sur les interactions entre processus à temps discret et continu.

Les principaux axes de recherche de l'équipe Vérification Numérique sont :
  • l'analyse statique pour le calcul certifié de bornes d'erreurs sur les résultats des traitements numériques en précision finie ;
  • la transformation sémantique de programmes afin d'optimiser la précision des calculs réalisés sur ordinateur ;
  • l'analyse statique des systèmes hybrides à temps discret et temps continu.
Les domaines d'application visés sont :
  • la validation de systèmes embarqués critiques en boucle ouverte ou fermée, notamment dans le domaine de l'avionique ;
  • les méthodes numériques dont la précision et la vitesse de convergence peuvent être améliorées par transformation de programme.
En outre, l'équipe Vérification Numérique s'enrichit des interactions avec les autres équipes du LAMPS et notamment des simulations numériques pour la mécanique et la physique statistique réalisées à l'aide de code de calcul distribués qui offrent des cas d'études subtils en ce qui concerne les problèmes de discrétisation.

  Thèmes de recherche
  • Interprétation abstraite

  • Nombres fixes et flottants

  • Automates hybrides

  • Compilation

  • Précision numérique

  • Preuves formelles

  News
  • Assalé Adjé, nouveau maître de conférences à l'Université de Perpignan, a rejoint l'équipe Vérification Numérique.

  • Organisation de NSV'16, workshop affilié à la CAV'2016, 17-18 juillet 2016 à Toronto, Canada


  Publications récentes
  • N. Damouche, M. Martel and A. Chapoutot, Data-Types Optimization for Floating-Point Formats by Program Transformation, CoDIT'16

  • A. Werey, D. Delmas and M. Martel, Accuracy Analysis of Numerical Computations for Avionics Automatic Code Generators, ERTS2, 2016

  • N. Damouche, M. Martel and A. Chapoutot, Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods, LOPSTR'15