Here we show our models to predict gene expression from our main circuits using roxA and lcp. We also show a detailed study of the kill switch mechanism we have used.

The main process we want to model in this section is the expression and translation of the genes involved in our circuits. Qualitatively, this whole process is triggered by the attachment of an enzyme that synthesizes RNA, known as RNA polymerase (RNAP), to the DNA near a gene. Promoters contain specific DNA sequences such as response elements that provide a secure initial binding site for RNA polymerase and for proteins called transcription factors that recruit RNAP. Then, mRNA associated with that gene is generated which can then be translated into a protein by ribosomes. This second process (translation) is triggered when a ribosome binds at a special region, called Ribosomal Binding Site (RBS). At the end of the day, a protein is produced.

At this point, the protein might be in its function conformal structure or not. We will stop at this point for now and model this whole process from rather coarser level of details: we will simulate populations of mRNAs and proteins and predict their concentration over time.