GouvActu AdmiNet

Accueil > INRIA > OptiTrust : vers des codes informatiques optimisés et sans bugs

OptiTrust : vers des codes informatiques optimisés et sans bugs

jeudi 17 juin 2021

Des codes de simulation numérique prédisent chaque jour la météo, servent à concevoir des avions, ou encore à comprendre les lois intimes de la physique. Dans ces codes très complexes, obtenir de bonnes performances sans introduire de bugs est un véritable défi... que relève Arthur Charguéraud, chercheur de l'équipe-projet Camus d'Inria Nancy Grand-Est, localisée à Strasbourg. Un pari ambitieux soutenu par Inria via une action exploratoire baptisée OptiTrust. Celle-ci vise à combiner intuition humaine et transformations semi-automatiques du code pour aboutir à des codes de simulations numériques performants, fiables, transférables d'un serveur à un autre et faciles à maintenir.

Voir en ligne : INRIA / OptiTrust : vers des codes informatiques optimisés et sans bugs

Du même site

Actualités du site web de l’INRIA