GT PequanRSS

Verrou : l'arithmétique stochastique sans recompiler


http://www-pequan.lip6.fr/seminaire_pequan.php
07/05/2015
Intervenant(s) : François Fevotte et Bruno Lathuiliere (EDF)
EDF développe et utilise un grand nombre d'applications utilisant la simulation numérique. Dans le cadre des processus de Validation & Vérification, EDF souhaite évaluer l'impact de l'arithmétique flottante sur la qualité des résultats fournis. Parmi les outils existants, CADNA implémente l'arithmétique stochastique discrète et permet d'auditer un code sans avoir à modifier les algorithmes mais nécessite de modifier les codes sources. Cela rend le coût d'entrée trop élevé pour une utilisation quotidienne, sans parler du problème (pour l'instant non résolu) de l'utilisation de bibliothèques externes pour lesquelles l'accès aux sources n'est pas garanti.
Pour faire face à ces difficultés, EDF étudie avec Verrou la possibilité d'implémenter l'arithmétique stochastique en partant de l'exécutable sous sa forme binaire.
Plus d'informations ici
marc (at) nullmezzarobba.net
 Mentions légales
Carte du site |