Chapter

Biologically-Inspired Collaborative Computing

Volume 268 of the series IFIP – The International Federation for Information Processing pp 163-175

A Case Study in Model-driven Synthetic Biology

  • David GilbertAffiliated withBioinformatics Research Centre, University of Glasgow
  • , Monika HeinerAffiliated withDepartment of Computer Science, Brandenburg University of Technology
  • , Susan RosserAffiliated withInstitute of Biomedical and Life Sciences, University of Glasgow
  • , Rachael FultonAffiliated withBioinformatics Research Centre, University of Glasgow
  • , Xu GuAffiliated withBioinformatics Research Centre, University of Glasgow
  • , Maciej TrybiloAffiliated withBioinformatics Research Centre, University of Glasgow

Abstract

We report on a case study in synthetic biology, demonstrating the model-driven design of a self-powering electrochemical biosensor. An essential result of the design process is a general template of a biosensor, which can be instantiated to be adapted to specific pollutants. This template represents a gene expression network extended by metabolic activity. We illustrate the model-based analysis of this template using qualitative, stochastic and continuous Petri nets and related analysis techniques, contributing to a reliable and robust design.