@MASTERSTHESIS\{IMM2014-06755, author = "J. J. Boysen and S. M. Laursen", title = "A modelling framework for Synthetic Biology", year = "2014", school = "Technical University of Denmark, Department of Applied Mathematics and Computer Science", address = "Richard Petersens Plads, Building 324, {DK-}2800 Kgs. Lyngby, Denmark, compute@compute.dtu.dk", type = "", note = "{DTU} supervisor: Jan Madsen, jama@dtu.dk, {DTU} Compute", url = "http://www.compute.dtu.dk/English.aspx", abstract = "Synthetic biology is the field of engineering new biological functions through composition and regulation of genes. The current trend of an exponential decrease in the cost of the enabling technologies indicates that sophisticated {CAD} tools will soon be of significant importance which will require the involvement of computer scientists and software engineers. The overall goal of this thesis is to establish a foundation for the construction of these kinds of {CAD} tools in order to enable computer scientists and software engineers to more easily get engaged in the field of synthetic biology. This thesis examines and explains how to model and simulate these gene compositions and how parallels to electronic design automation can be drawn by treating the simulated behaviour as logical lows and highs. By doing that new compositions of genes fulfilling some behavioural specifications can be proposed automatically. The modelling framework {DTU-SB} employs many of the classical approaches to simulation as well as modelling and contributes with a novel way of performing genetic technology mapping oriented towards the practical issues that may arise in large gene compositions." }