Brown B

Dun BP

Fellermann H

Gheorghe M

Kalvala S

Konur S

Krasnogor N

Ladroue C

Mierla L

Twycross J

Wipat A

We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification of the desired synthetic system, followed by simulation and verification of the system in high-performance environments and ending with the eventual compilation of the system specification into suitable genetic constructs. IBW integrates modeling, simulation, verification, and biocompilation features into a single software suite. This integration is achieved through a new domain-specific biological programming language, the Infobiotics Language (IBL), which tightly combines these different aspects of in silico synthetic biology into a full-stack integrated development environment. Unlike existing synthetic biology modeling or specification languages, IBL uniquely blends modeling 

Newcastle University E-Prints

Toward Full-Stack <em>In Silico</em> Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation

Toward Full-Stack <em>In Silico</em> Synthetic Biology: Integrating Model Specification, Simulation, Verification, and Biological Compilation

Abstract

Similar works

Full text

Available Versions

Newcastle University E-Prints