Team:ESBS-Strasbourg/Results/Modelling

From 2010.igem.org

(Difference between revisions)
 
(30 intermediate revisions not shown)
Line 107: Line 107:
position: absolute;
position: absolute;
top: -20px;
top: -20px;
-
font: 18px Trebuchet MS;
+
font: 17px Trebuchet MS;
text-align: center;
text-align: center;
           }
           }
Line 138: Line 138:
</>
</>
</div>
</div>
 +
<div id="content0" style="display:none">
<div id="content0" style="display:none">
Line 201: Line 202:
-
</div>
 
-
 
<div class="menubg">
<div class="menubg">
</div>
</div>
Line 257: Line 256:
position: relative;
position: relative;
float: left;
float: left;
-
width:170px;
+
width:143px;
height:75px;
height:75px;
color:#fff;
color:#fff;
Line 274: Line 273:
border:none;
border:none;
height:193px;
height:193px;
-
width:193px;
+
width:153px;
background:#000;
background:#000;
  /*opacity for IE5+*/
  /*opacity for IE5+*/
Line 303: Line 302:
ul#nav li.last,ul#nav li.last ul{border:none;width:193px;}
ul#nav li.last,ul#nav li.last ul{border:none;width:193px;}
   
   
-
</style>  
+
</style>
 +
<div class="outer">
<div class="outer">
Line 313: Line 313:
</li>
</li>
<li>
<li>
-
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team">&nbsp;&nbsp;TEAM</a></p>
+
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team">
 +
&nbsp;&nbsp;TEAM</a></p>
<ul>
<ul>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team">Overview</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team">
 +
Overview</a></li>
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#under">
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#under">
Students</a></li>
Students</a></li>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#instructors">
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#advisors">
Advisors</a></li>
Advisors</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#instructors">
 +
Instructors</a></li>
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#uni">
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#uni">
Strasbourg</a></li>
Strasbourg</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Team#collaboration">
 +
Collaboration</a></li>
                                
                                
</ul>
</ul>
Line 327: Line 333:
<li>
<li>
<p><br />
<p><br />
-
<a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project">&nbsp;&nbsp;PROJECT</a></p>
+
<a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project">
 +
&nbsp;&nbsp;PROJECT</a></p>
<ul>
<ul>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project">Overview</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project">
 +
Overview</a></li>
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Strategy">
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Strategy">
Strategy</a></li>
Strategy</a></li>
 +
                                <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/visual">
 +
Visual Description</a></li>
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Application">
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Application">
Application</a></li>
Application</a></li>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Acknowledgment">Acknowledgment</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Acknowledgment">
 +
Acknowledgment</a></li>
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Reference">
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Project/Reference">
Reference</a></li>
Reference</a></li>
Line 341: Line 352:
</li>
</li>
<li>
<li>
-
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results">&nbsp;&nbsp;RESULTS</a></p>                 
+
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Biobricks">
 +
&nbsp;&nbsp;RESULTS</a></p>                 
                         <ul>
                         <ul>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Biobricks">Biobricks</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Biobricks">
 +
Biobricks</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Assembly">
 +
<font size="3">Biobrick Assembly Technique</font></a></li>
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Characterization">
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Characterization">
Characterization</a></li>
Characterization</a></li>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Modelling">Modelling</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Modelling">
 +
Modeling</a></li>
 +
 
</ul>
</ul>
Line 353: Line 370:
</li>
</li>
<li>
<li>
-
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook">&nbsp;&nbsp;NOTEBOOK</a></p>
+
<p><br/><a>
 +
&nbsp;&nbsp;NOTEBOOK</a></p>
                         <ul>
                         <ul>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Syntethic">Synthetic Photoreceptors</a></li>
+
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Syntethic">
 +
Synthetic Photoreceptors</a></li>
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Microfluidics">
                                 <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Microfluidics">
Microfluidics</a></li>
Microfluidics</a></li>
-
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Labbook">Lab-book</a></li>
+
                                <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Results/Device">Lighting device</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Notebook/Labbook">
 +
Lab-book</a></li>
</ul>
</ul>
</li>
</li>
 +
 +
<li>
 +
<p><br/><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice">
 +
HUMAN PRACTICE</a></p>
 +
                        <ul>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice#organisation">
 +
Organisation</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice#survey">
 +
Survey</a></li>
 +
                                <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice#video">
 +
The ClpX video</a></li>
 +
                                <li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice#game">
 +
The ClpX game</a></li>
 +
<li><a href="https://2010.igem.org/Team:ESBS-Strasbourg/Humanpractice#safety">
 +
Project Safety</a></li>
 +
 +
</ul>
 +
 +
</li>
 +
                 <li class="last">
                 <li class="last">
<p><br />
<p><br />
-
<a href="https://2010.igem.org/Team:ESBS-Strasbourg/Sponsors">&nbsp;&nbsp;SPONSORS</a></p>
+
<a href="https://2010.igem.org/Team:ESBS-Strasbourg/Sponsors">
 +
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;SPONSORS</a></p>
</li>
</li>
</ul>
</ul>
 +
</div>
 +
</div>
</div>
</div>
</div>
</div>
Line 428: Line 472:
<tr>
<tr>
<div id="leftmenu">
<div id="leftmenu">
-
<td width="210" rowspan=3 bgcolor="#414141" valign="top">
+
<td width="160" rowspan=7 bgcolor="#414141" valign="top">
<br>
<br>
<div class="heading">System’s modeling</div>
<div class="heading">System’s modeling</div>
<div class="desc">
<div class="desc">
<br>
<br>
-
<a href="http://">1. Introduction</a>
+
<a href="#Introduction">1. Introduction</a>
<br>
<br>
-
<a href="http://">2. Behavioral model</a>
+
<a href="#Behavioral">2. Behavioral model</a>
<br>
<br>
-
<a href="http://">3. Signal flow model</a>
+
<a href="#Signalflow">3. Signal flow model</a>
<br>
<br>
-
<a href="http://">4. Conclusion</a>
+
<a href="#Conclusion">4. Conclusion</a>
<br>
<br>
</div>
</div>
<br>
<br>
</td>
</td>
-
<td width="10" rowspan=3 bgcolor="#222222">
+
<td width="10" rowspan=7 bgcolor="#222222">
</div>
</div>
-
 
+
<div id="windowbox" style="position:fixed; top:50%; left:20px; width:11%;">
-
<td width="750" bgcolor="#414141">
+
<span style="color:ivory;">
 +
&nbsp;&nbsp;
 +
<a href="https://2010.igem.org/Team:ESBS-Strasbourg/science">
 +
<img border="0" src="https://static.igem.org/mediawiki/2010/d/da/ESBS-Strasbourg-Clpx.gif" width="70" height="85" ></a>
 +
<br>
 +
Let me guide you</span>
 +
<td width="800" bgcolor="#414141">
<br>
<br>
<br>
<br>
Line 454: Line 504:
</center>
</center>
<br>
<br>
 +
<a name="Introduction"></a>
<br>
<br>
<div class="heading">1. Introduction</div>
<div class="heading">1. Introduction</div>
<div class="desc">
<div class="desc">
<br>
<br>
-
To automate the process of creation of new synthetic bio-systems an interesting point is to develop a specific design flow like in microelectronics. One of the main assets in microelectronic design flow for digital systems is the ability to describe a system at different abstraction levels.
+
To automate the process of creation of new synthetic bio-systems, it is interesting to develop a specific design flow like the one we use in microelectronics. One of the main assets in microelectronic design flow for digital systems is the ability to describe a system at different levels of abstraction.
<br><br>
<br><br>
-
For our system we focus the modeling at two different level of abstraction. The first one introduced is a high-level model and then the second one is a low-level model. For each model we show the simulation results and as conclusion we discuss the potential of the purposed models.
+
For our system, we focused the modeling on two different level of abstraction. The first one is a high-level model and the second one is a low-level model. For each model we show the simulation results and, as a conclusion, we discuss the potential of the models we proposed.
</div>
</div>
<br>
<br>
Line 472: Line 523:
<tr>
<tr>
-
<td width="800" bgcolor="#414141"">
+
<td width="800" bgcolor="#414141">
 +
<a name="Behavioral"></a>
<br>
<br>
<div class="heading">2. Behavioral model</div>
<div class="heading">2. Behavioral model</div>
<div class="desc">
<div class="desc">
<br>
<br>
-
As in digital electronics, multiple abstraction levels can be defined. The highest consists in the function of the system. This model, also called logical model, because it is based on logical equations, is a high level model. It is interesting to use high-level models, with fast simulations, to validate the concept of a bio-system.
+
As in digital electronics, multiple abstraction levels can be defined. The highest one consists in the function of the system. This model, also called logical model, because it is based on logical equations, is a high level model. It is interesting to use high-level models, with fast simulations, to validate the concept of a bio-system.
<br>
<br>
<br>
<br>
The specifications of our system are the followings:
The specifications of our system are the followings:
-
• At a 730 nm light, the system is in an inactive state and doesn’t degrade the TAG-protein
 
-
• At a 660 nm light, the system is active and degrade the TAG-protein
 
<br>
<br>
 +
• At a 730 nm light, the system is in an inactive state and doesn’t degrade the TAG-protein
<br>
<br>
-
Based on these specifications, we deduce a group of logical equations. To make the model we use VHDL language, which is a hardware description language (HDL). The following VHDL code corresponds to our model:
+
• At a 660 nm light, the system is active and degrade the TAG-protein
 +
<br>
 +
<br>
 +
Based on these specifications, we deduce a group of logical equations. To create the model we use VHDL language, which is a hardware description language (HDL). The following VHDL code corresponds to our model:
<br>
<br>
<br>
<br>
Line 491: Line 545:
<br>
<br>
<br>
<br>
-
We simulate this VHDL code with Dolphin SMASH 5.12 and we obtain followings results:
+
We simulate this VHDL code with Dolphin SMASH 5.12 and we obtain the followings results:
<br>
<br>
<br>
<br>
Line 497: Line 551:
<br>
<br>
<br>
<br>
-
We see that when the light has a 730 nm wavelength the TAG-protein is not degraded. When the light passed to 660 nm, the TAG-protein is degraded after a 10 second delay, which corresponds to the time of phytochrome activation and is arbitrarily fixed in the model.
+
We see that when the light has a 730 nm wavelength the TAG-protein is not degraded. When the light reaches 660 nm, the TAG-protein is degraded after a 10 second delay, which corresponds to the time of the phytochrome activation and is arbitrarily fixed in the model. This delay was introduced after the low-level simulation to make this model fit the low-level ones.
<br>
<br>
<br>
<br>
Line 511: Line 565:
<tr>
<tr>
<td width="800" height="10" bgcolor="#222222">
<td width="800" height="10" bgcolor="#222222">
 +
</td>
 +
</tr>
 +
 +
<tr>
 +
<td width="800" bgcolor="#414141">
 +
<a name="Signalflow"></a>
 +
<br>
 +
<div class="heading">3. Signal flow model</div>
 +
<div class="desc">
 +
<br>
 +
<br>
 +
<div class="heading">a. Principle of this model</div>
 +
<br>
 +
<br>
 +
The signal flow model is a low-level model. This kind of model is used to predict its behavior with accuracy and is based on equations to compute different concentrations. All biological mechanisms are based on chemical equations linking the concentration of chemical species involved to each other. These chemical equations can be transformed into ordinary differential equations (ODEs), which are integrated to the model.
 +
<br>
 +
<br>
 +
First we will see a presentation of the system and the different interactions between states. Then we will explain the biological equations used to make the model and we will show simulation results for each part of the system.
 +
<br>
 +
<br>
 +
<div class="heading">b. System's presentation</div>
 +
<br>
 +
<br>
 +
Our system is made up of a block named PCC (including the Phytochrome, ClpX and ClpP) and an other block, the DAS_GPF_ PIF chain where GFP is the TAG protein which is used to illustrate the mechanism. This system can be boiled down to the following four states scheme:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/d/d3/Schema_lowlevel.png" width="700px"></center>
 +
<br>
 +
<br>
 +
The first state is the state where PCC and DAS_GFP_PIF are free. Then PCC can form a complex with DAS, called PCC_DAS, with k<sub>1,0</sub> the coefficient of this complexation, or with PIF, called PCC_PIF, with k<sub>0,1</sub> the coefficient of this complexation. The last state is the PCC_DAS_PIF complex which is reached from PCC_DAS state by the complexation coefficient k<sub>0,1</sub>*c<sub>1,1</sub> or from PCC_PIF by k<sub>1,0</sub>*c<sub>1,1</sub>, where c<sub>1,1</sub> is the the coupling factor between the two sites of complexation.
 +
<br>
 +
<br>
 +
The TAG protein can only be degraded in PCC_DAS or PCC_DAS_PIF conformation, because DAS must be linked to launch the protein degradation process. This is why there are single arrows between states PCC and PCC_DAS and between PCC_PIF and PCC_DAS_PIF.
 +
<br>
 +
<br>
 +
<div class="heading">c. Biological mechanisms</div>
 +
<br>
 +
<br>
 +
<div class="heading">• Light-sensitive coefficient</div>
 +
<br>
 +
<br>
 +
k<sub>1,0</sub> is very small so the formation of PCC_DAS is scarce. k<sub>0,1</sub> is a coefficient which depends on the light's wavelength and this variance corresponds to the different physical structures of the PIF receptor (active or passive). With a 660 nm red light, PIF receptor is active and this coefficient is high but with a 730 nm infra-red light, PIF receptor is inactive and k<sub>0,1</sub>  becomes very small. So to model this coefficient we use a Gaussian function centered on 660:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/b/b4/Eqn_coeff.png" width="300px"></center>
 +
<br>
 +
<br>
 +
where μ = 660, σ = 5 and "light" the wavelength of the light. k<sub>730</sub> is the constant of complexation at 730 nm and is very small.
 +
<br>
 +
<br>
 +
<div class="heading">• Complexation reactions</div>
 +
<br>
 +
<br>
 +
To find the ODEs for the different reactions of complexation brought into play, we start with a simple complexation between two species, A and B:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/e/e3/Eqn_comp.png" width="150px"></center>
 +
<br>
 +
<br>
 +
where k<sub>on</sub> is the coefficient of the complex’s formation and k<sub>off</sub> the coefficient of the complex’s dissociation. The ODE of this reaction which gives the concentration of the complex AB is the following one:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/5/5a/Eqn_comp_ode.png" width="400px"></center>
 +
<br>
 +
<br>
 +
k<sub>degr</sub> is only the constant of natural degradation of the complex. Using the same principle, we deduced the following equations for our system:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/f/fa/Eqn_odes.png" width="750px"></center>
 +
<br>
 +
<br>
 +
We insert these equations into our model and we obtained these simulation results:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/f/fe/Lowlevel_simus_1.png" width="700px"></center>
 +
<br>
 +
<br>
 +
<div class="heading">• Computed concentrations of present species</div>
 +
<br>
 +
<br>
 +
To start, we will see the protein synthesis mechanism. We consider the synthesis of a P protein regulated by a set of protein X<sub>p</sub>. We obtain a set of two equations. The transcription of DNA into mRNA is based on Hill’s equation:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/a/a7/Eqn_mrna.png" width="400px"></center>
 +
<br>
 +
<br>
 +
where k<sub>tr</sub> is the kinetic constant of transcription, K<sub>p</sub> the Hill’s constant representing the strength of the activator or repressor, n<sub>p</sub> the Hill’s coefficient (positive for an activator and negative for a repressor) and d<sub>mRNA</sub> the degradation’s coefficient of mRNA.
 +
<br>
 +
<br>
 +
The same way, the synthesis of P protein from mRNA is defined by:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/5/52/Eqn_prot.png" width="300px"></center>
 +
<br>
 +
<br>
 +
where k<sub>tl</sub> is the kinetic constant of translation and d<sub>P</sub> the degradation coefficient of protein P.
 +
<br>
 +
<br>
 +
For each species, PCC, PIF and DAS, we use this mechanism to compute the species concentration produced, respectively PCC_prod, PIF_prod and DAS_prod. We must now compute the effective concentration of these species with these equations:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/4/4a/Eqn_esp.png" width="450px"></center>
 +
<br>
 +
<br>
 +
where PIF_l and DAS_l are the concentrations of PIF and DAS linked to the DAS_GFP_PIF chain already complexed at the other boundary (respectively DAS and PIF). We obtain the same equation for the different species. This is because we compute separately DAS, PIF and PCC’s concentrations for the complexation mechanism but we do have the same DAS_GFP_PIF free chain concentration as the free phytochrome concentration. So for the simulation results we just show the PCC and the DAS_GFP_PIF concentration because DAS and PIF concentrations are the same:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/1/13/Lowlevel_simus_2.png" width="700px"></center>
 +
<br>
 +
<br>
 +
<div class="heading">• TAG protein degradation</div>
 +
<br>
 +
<br>
 +
The last but the most important concentration to show is the TAG protein's (GFP) concentration. First we compute the concentration of GFP produced, GFP_prod, with the same mechanism introduced in the previous part. Then, the concentration of PCC fixed GFP (ready to be degraded), GFP_l, is given by:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/9/91/Eqn_gfpl.png" width="400px"></center>
 +
<br>
 +
<br>
 +
Finally we obtain the effective concentration of GFP with the following equation, including the degradation (with d<sub>GFP</sub> degradation coefficient) of the fixed GFP:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/9/94/Eqn_gfp.png" width="400px"></center>
 +
<br>
 +
<br>
 +
The simulation of these equations gives the following result:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/c/c1/Lowlevel_simus_3.png" width="700px"></center>
 +
<br>
 +
<br>
 +
We have seen that this model is accurate but it has some drawbacks too. It is based on ODEs so it requires the use of a numerical solver, leading to slow simulations. It depends on parameters that should be estimated with experiments and the more the parameters are accurate, the more the simulations are close to real cell behavior.
 +
<br>
 +
<br>
 +
</div>
 +
</td>
 +
</tr>
 +
 +
<tr>
 +
<td width="800" height="10" bgcolor="#222222">
 +
</td>
 +
</tr>
 +
 +
<tr>
 +
<td width="800" bgcolor="#414141">
 +
<a name="Conclusion"></a>
 +
<br>
 +
<div class="heading">4. Conclusion</div>
 +
<div class="desc">
 +
<br>
 +
<br>
 +
The first simulation we have introduced is made at high-level and is compared to the high-level model previously obtained in the following scheme:
 +
<br>
 +
<br>
 +
<center><img src="https://static.igem.org/mediawiki/2010/8/8d/Lowlevel_simus_4.png" width="700px"></center>
 +
<br>
 +
<br>
 +
The delay in the high-level model was included after the low-level simulation to make both models match.
 +
<br>
 +
<br>
 +
The modeling part of our system takes advantage of microelectronics knowledge, which has proven itself, and resumes the main steps of the design flow used in this field to design a system.
 +
<br>
 +
<br>
 +
Each model has its own interest that we have seen previously, but it is the possibility to use them jointly that may be relevant, in order to simulate systems quickly with different levels of detail depending on the need (sensitive part or not, already validated or not ...).
 +
<br>
 +
<br>
 +
We did not have enough time to study the parameters extraction. Using characterization software like IC-CAP on our system, we still have to extract the parameters of the model to make it match with the real biological system.
 +
<br>
 +
<br>
 +
</div>
</td>
</td>
</tr>
</tr>

Latest revision as of 16:37, 27 October 2010

{|

ESBS - Strasbourg



System’s modeling

  
Let me guide you


System’s modeling


1. Introduction

To automate the process of creation of new synthetic bio-systems, it is interesting to develop a specific design flow like the one we use in microelectronics. One of the main assets in microelectronic design flow for digital systems is the ability to describe a system at different levels of abstraction.

For our system, we focused the modeling on two different level of abstraction. The first one is a high-level model and the second one is a low-level model. For each model we show the simulation results and, as a conclusion, we discuss the potential of the models we proposed.


2. Behavioral model

As in digital electronics, multiple abstraction levels can be defined. The highest one consists in the function of the system. This model, also called logical model, because it is based on logical equations, is a high level model. It is interesting to use high-level models, with fast simulations, to validate the concept of a bio-system.

The specifications of our system are the followings:
• At a 730 nm light, the system is in an inactive state and doesn’t degrade the TAG-protein
• At a 660 nm light, the system is active and degrade the TAG-protein

Based on these specifications, we deduce a group of logical equations. To create the model we use VHDL language, which is a hardware description language (HDL). The following VHDL code corresponds to our model:



We simulate this VHDL code with Dolphin SMASH 5.12 and we obtain the followings results:



We see that when the light has a 730 nm wavelength the TAG-protein is not degraded. When the light reaches 660 nm, the TAG-protein is degraded after a 10 second delay, which corresponds to the time of the phytochrome activation and is arbitrarily fixed in the model. This delay was introduced after the low-level simulation to make this model fit the low-level ones.

This model uses mathematical tools to calculate the levels of species involved. This has some advantages: fast simulations, use of Boolean algebra and tools existing in electronics, such as logic synthesis or formal checking tools.

Otherwise, it presents drawbacks. First, concentrations of proteins are not taken into account, which causes accuracy problems. Then, it is too basic compared to the complexity of a bio-system, but it quickly allows us to get an idea of the outcome of such a system without launching slow and complex simulations.

3. Signal flow model


a. Principle of this model


The signal flow model is a low-level model. This kind of model is used to predict its behavior with accuracy and is based on equations to compute different concentrations. All biological mechanisms are based on chemical equations linking the concentration of chemical species involved to each other. These chemical equations can be transformed into ordinary differential equations (ODEs), which are integrated to the model.

First we will see a presentation of the system and the different interactions between states. Then we will explain the biological equations used to make the model and we will show simulation results for each part of the system.

b. System's presentation


Our system is made up of a block named PCC (including the Phytochrome, ClpX and ClpP) and an other block, the DAS_GPF_ PIF chain where GFP is the TAG protein which is used to illustrate the mechanism. This system can be boiled down to the following four states scheme:



The first state is the state where PCC and DAS_GFP_PIF are free. Then PCC can form a complex with DAS, called PCC_DAS, with k1,0 the coefficient of this complexation, or with PIF, called PCC_PIF, with k0,1 the coefficient of this complexation. The last state is the PCC_DAS_PIF complex which is reached from PCC_DAS state by the complexation coefficient k0,1*c1,1 or from PCC_PIF by k1,0*c1,1, where c1,1 is the the coupling factor between the two sites of complexation.

The TAG protein can only be degraded in PCC_DAS or PCC_DAS_PIF conformation, because DAS must be linked to launch the protein degradation process. This is why there are single arrows between states PCC and PCC_DAS and between PCC_PIF and PCC_DAS_PIF.

c. Biological mechanisms


• Light-sensitive coefficient


k1,0 is very small so the formation of PCC_DAS is scarce. k0,1 is a coefficient which depends on the light's wavelength and this variance corresponds to the different physical structures of the PIF receptor (active or passive). With a 660 nm red light, PIF receptor is active and this coefficient is high but with a 730 nm infra-red light, PIF receptor is inactive and k0,1 becomes very small. So to model this coefficient we use a Gaussian function centered on 660:



where μ = 660, σ = 5 and "light" the wavelength of the light. k730 is the constant of complexation at 730 nm and is very small.

• Complexation reactions


To find the ODEs for the different reactions of complexation brought into play, we start with a simple complexation between two species, A and B:



where kon is the coefficient of the complex’s formation and koff the coefficient of the complex’s dissociation. The ODE of this reaction which gives the concentration of the complex AB is the following one:



kdegr is only the constant of natural degradation of the complex. Using the same principle, we deduced the following equations for our system:



We insert these equations into our model and we obtained these simulation results:



• Computed concentrations of present species


To start, we will see the protein synthesis mechanism. We consider the synthesis of a P protein regulated by a set of protein Xp. We obtain a set of two equations. The transcription of DNA into mRNA is based on Hill’s equation:



where ktr is the kinetic constant of transcription, Kp the Hill’s constant representing the strength of the activator or repressor, np the Hill’s coefficient (positive for an activator and negative for a repressor) and dmRNA the degradation’s coefficient of mRNA.

The same way, the synthesis of P protein from mRNA is defined by:



where ktl is the kinetic constant of translation and dP the degradation coefficient of protein P.

For each species, PCC, PIF and DAS, we use this mechanism to compute the species concentration produced, respectively PCC_prod, PIF_prod and DAS_prod. We must now compute the effective concentration of these species with these equations:



where PIF_l and DAS_l are the concentrations of PIF and DAS linked to the DAS_GFP_PIF chain already complexed at the other boundary (respectively DAS and PIF). We obtain the same equation for the different species. This is because we compute separately DAS, PIF and PCC’s concentrations for the complexation mechanism but we do have the same DAS_GFP_PIF free chain concentration as the free phytochrome concentration. So for the simulation results we just show the PCC and the DAS_GFP_PIF concentration because DAS and PIF concentrations are the same:



• TAG protein degradation


The last but the most important concentration to show is the TAG protein's (GFP) concentration. First we compute the concentration of GFP produced, GFP_prod, with the same mechanism introduced in the previous part. Then, the concentration of PCC fixed GFP (ready to be degraded), GFP_l, is given by:



Finally we obtain the effective concentration of GFP with the following equation, including the degradation (with dGFP degradation coefficient) of the fixed GFP:



The simulation of these equations gives the following result:



We have seen that this model is accurate but it has some drawbacks too. It is based on ODEs so it requires the use of a numerical solver, leading to slow simulations. It depends on parameters that should be estimated with experiments and the more the parameters are accurate, the more the simulations are close to real cell behavior.


4. Conclusion


The first simulation we have introduced is made at high-level and is compared to the high-level model previously obtained in the following scheme:



The delay in the high-level model was included after the low-level simulation to make both models match.

The modeling part of our system takes advantage of microelectronics knowledge, which has proven itself, and resumes the main steps of the design flow used in this field to design a system.

Each model has its own interest that we have seen previously, but it is the possibility to use them jointly that may be relevant, in order to simulate systems quickly with different levels of detail depending on the need (sensitive part or not, already validated or not ...).

We did not have enough time to study the parameters extraction. Using characterization software like IC-CAP on our system, we still have to extract the parameters of the model to make it match with the real biological system.