 |  |
| IBISC | LACL |
 |  |
| CREA | ISC |
Projet scientifique financé par l'ANR
Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
|
project:summary [03/09/2010 15:59] delapla |
project:summary [27/10/2010 11:29] (Version actuelle) delapla |
||
|---|---|---|---|
| Ligne 12: | Ligne 12: | ||
| The biological artifact produced by this compilation chain must first be validated before being synthesized. The validation is done initially by simulation, then by using formal validation methods. These methods can be based on formal specification techniques for biological processes developed in the field of integrative biology (process algebra, network of automats, Petri net, game theory…). These approaches enable the automatic extraction of some invariant and/or the use of model-checking techniques to prove that some property is satisfied a priori by the system. This programming language approach of synthetic biology must be instantiated in an environment. This environment will be validated by the development of case studies in the field of morphogenesis. In addition to their fundamental interests in the field of biology, these applications really require the coordination of a population of cells and are a first step toward the "construction" of biological nano-objects. | The biological artifact produced by this compilation chain must first be validated before being synthesized. The validation is done initially by simulation, then by using formal validation methods. These methods can be based on formal specification techniques for biological processes developed in the field of integrative biology (process algebra, network of automats, Petri net, game theory…). These approaches enable the automatic extraction of some invariant and/or the use of model-checking techniques to prove that some property is satisfied a priori by the system. This programming language approach of synthetic biology must be instantiated in an environment. This environment will be validated by the development of case studies in the field of morphogenesis. In addition to their fundamental interests in the field of biology, these applications really require the coordination of a population of cells and are a first step toward the "construction" of biological nano-objects. | ||
| </style> | </style> | ||
| - | {{tag>synthetic-biology project presentation us-version}} | + | {{tag>synthetic-biology project presentation english}} |
|
|
|
