L’un des enjeux en biologie des systèmes concerne la compréhension des systèmes d’interactions biochimiques complexes et l’explication de leur comportement.

La machine abstraite biochimique BIOCHAM* est un environnement logiciel permettant de modéliser, analyser ou synthétiser des systèmes de réactions moléculaires en biologie cellulaire.

Avec BIOCHAM, les biologistes peuvent :

• simuler les modèles à différents niveaux d’abstraction (stochastique, continu, booléen),
• formaliser les comportements biochimiques, faire de la recherche automatique de paramètres et de l’analyse de robustesse,
• générer automatiquement des modèles pour satisfaire un comportement donné.

Points forts de BIOCHAM :

• La spécification formelle des comportements en logique temporelle quantitative, supportant les analyses de sensibilité, robustesse et recherche de paramètres en grande dimension.
• Les analyses statiques de propriétés dynamiques utilisant des algorithmes d’intelligence artificielle
• la synthèse de réseaux de réactions biochimiques abstraites implémentant toute fonction calculable

Opportunités de collaboration :

• Recherche de médicaments
• Optimisation thérapeutique
• Médecine personnalisée
• Synthèse de micro-réacteurs ou de proto-cellules
• Applications nouvelles dans d’autres domaines de systèmes complexes

* Biochemical Abstract Machine