Publication d’une étude combinant vérification et bio-informatique

Benoit Delahaye (équipe AeLoS) et Damien Eveillard (équipe COMBI) viennent de publier une étude qui combine vérification et bioinformatique, dans la revue open access mSystems^® (journal de référence en microbiologie). Cette étude s’intitule « On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore ». L’article complet est disponible en ligne.

Résumé : Les systèmes vivants sont complexes et difficiles à modéliser. Cette difficulté réside principalement sur la gestion des incertitudes expérimentales, trop rapidement éludées par les biologistes. Dans cette étude, deux chercheurs du LS2N et un chercheur Américain du Lawrence Berkeley National Laboratory remettent en cause cette habitude. Les récentes avancées en méthodes formelles telles que la vérification statistique permet en effet de considérer formellement les incertitudes dans les modélisations biologiques, et ce pour mieux comprendre les systèmes microbiologiques. Cette revue, sélectionnée par le comité éditorial du journal, ouvre des perspectives prometteuses de travail entre les pôles Science des Données (SDD) et Science du Logiciel et des Systèmes Distribués (SLS) du LS2N pour proposer de nouveaux modèles biologiques certifiés, ou de nouvelles méthodes de paramétrisation en adéquation avec les nouvelles sources de données biologiques.