Conception, modélisation et simulation in silico d'un nanosystème biologique
artificiel de diagnostic médical, programmé pour détecter des biomarqueurs et
restituer une réponse intégrée après une étape de calcul logique.
Le but de cette thèse est de systématiser à l'aide d'outils informatiques la
conception, l'implémentation, le test et la validation de bio-calculateurs dans
le contexte du diagnostic médical. Ses objectifs sont:
. l'étude d'outils formels d'extraction automatique de circuits logiques
fonctionnels à partir des réseaux métaboliques qui se trouvent dans des
organismes vivants pour en constituer une bibliothèque réutilisable
. l'étude de la composabilité de ces circuits logiques
. l'étude de méthodes intégrées pour la conception de bio-calculateurs, leur
implémentation compte tenu de diverses contraintes (stabilité, non toxicité,
etc.) et leur validation in silico en utilisant les approches les plus
adéquates (systèmes d'équations différentielles, simulations stochastiques
"entité-centrée" ou globales)
. un volet applicatif consistant à l'issue des travaux précédemment menés à
implémenter un outil de type "BioNetCad", dédié à notre approche et intégrant
les logiciels