Modeling biology with HDL languages: a first step toward a genetic design automation tool inspired from microelectronics

Analytic modelling of passive microfluidic mixers

This paper deals with a new analytical model for microfluidic passive mixers. Two common approaches already exist for such a purpose. On the one hand, the resolution of the advection-diffusion-reaction equation (ADRE) is the first one and the closest to physics. However, ADRE is a partial differential equation that requires finite element simulations. On the other hand, analytical models based on the analogy between microfluidics and electronics have already been established. However, they rely on the assumption of homogeneous fluids, which means that the mixer is supposed to be long enough to obtain a perfect mixture at the output. In this paper, we derive an analytical model from the ADRE under several assumptions. Then we integrate these equations within the electronic-equivalent models. The resulting models computed the relationship between pressure and flow rate in the microfluidic circuit but also takes the concentration gradients that can appear in the direction perpendicular to the channel into account. The model is compared with the finite element simulation performed with COMSOL Multiphysics in several study cases. We estimate that the global error introduced by our model compared to the finite element simulation is less than 5% in every use case. In counterparts, the cost in terms of computational resources is drastically reduced. The analytical model can be implemented in a large range of modelling and simulation languages, including SPICE and hardware description language such as Verilog-AMS. This feature is very interesting in the context of the in silico prototyping of large-scale microfluidic devices or multi-physics devices involving microfluidic circuits, e.g. lab-on-chips.

SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

MOTIVATION

SBML is the most widespread language for the definition of biochemical models. Although dozens of SBML simulators are available, there is a general lack of support to the integration of SBML models within open-standard general-purpose simulation ecosystems. This hinders co-simulation and integration of SBML models within larger model networks, in order to, e.g. enable in silico clinical trials of drugs, pharmacological protocols, or engineering artefacts such as biomedical devices against Virtual Physiological Human models. Modelica is one of the most popular existing open-standard general-purpose simulation languages, supported by many simulators. Modelica models are especially suited for the definition of complex networks of heterogeneous models from virtually all application domains. Models written in Modelica (and in 100+ other languages) can be readily exported into black-box Functional Mock-Up Units (FMUs), and seamlessly co-simulated and integrated into larger model networks within open-standard language-independent simulation ecosystems.

RESULTS

In order to enable SBML model integration within heterogeneous model networks, we present SBML2Modelica, a software system translating SBML models into well-structured, user-intelligible, easily modifiable Modelica models. SBML2Modelica is SBML Level 3 Version 2-compliant and succeeds on 96.47% of the SBML Test Suite Core (with a few rare, intricate and easily avoidable combinations of constructs unsupported and cleanly signalled to the user). Our experimental campaign on 613 models from the BioModels database (with up to 5438 variables) shows that the major open-source (general-purpose) Modelica and FMU simulators achieve performance comparable to state-of-the-art specialized SBML simulators.

AVAILABILITY AND IMPLEMENTATION

SBML2Modelica is written in Java and is freely available for non-commercial use at https://bitbucket.org/mclab/sbml2modelica.

Efficient Modeling and Simulation of Space-Dependent Biological Systems

We recently demonstrated the possibility to model and to simulate biological functions using hardware description languages (HDLs) and associated simulators traditionally used for microelectronics. Nevertheless, those languages are not suitable to model and simulate space-dependent systems described by partial differential equations. However, in more and more applications space- and time-dependent models are unavoidable. For this purpose, we investigated a new modeling approach to simulate molecular diffusion on a mesoscopic scale still based on HDL. Our work relies on previous investigations on an electrothermal simulation tool for integrated circuits, and analogies that can be drawn between electronics, thermodynamics, and biology. The tool is composed of four main parts: a simple but efficient mesher that divides space into parallelepipeds (or rectangles in 2D) of adaptable size, a set of interconnected biological models, a SPICE simulator that handles the model and Python scripts that interface the different tools. Simulation results obtained with our tool have been validated on simple cases for which an analytical solution exists and compared with experimental data gathered from literature. Compared with existing approaches, our simulator has three main advantages: a very simple algorithm providing a direct interface between the diffusion model and biological model of each cell, the use of a powerful and widely proven simulation core (SPICE) and the ability to interface biological models with other domains of physics, enabling the study of transdisciplinary systems.

Modeling and simulation of biological systems using SPICE language

The article deals with BB-SPICE (SPICE for Biochemical and Biological Systems), an extension of the famous Simulation Program with Integrated Circuit Emphasis (SPICE). BB-SPICE environment is composed of three modules: a new textual and compact description formalism for biological systems, a converter that handles this description and generates the SPICE netlist of the equivalent electronic circuit and NGSPICE which is an open-source SPICE simulator. In addition, the environment provides back and forth interfaces with SBML (System Biology Markup Language), a very common description language used in systems biology. BB-SPICE has been developed in order to bridge the gap between the simulation of biological systems on the one hand and electronics circuits on the other hand. Thus, it is suitable for applications at the interface between both domains, such as development of design tools for synthetic biology and for the virtual prototyping of biosensors and lab-on-chip. Simulation results obtained with BB-SPICE and COPASI (an open-source software used for the simulation of biochemical systems) have been compared on a benchmark of models commonly used in systems biology. Results are in accordance from a quantitative viewpoint but BB-SPICE outclasses COPASI by 1 to 3 orders of magnitude regarding the computation time. Moreover, as our software is based on NGSPICE, it could take profit of incoming updates such as the GPU implementation, of the coupling with powerful analysis and verification tools or of the integration in design automation tools (synthetic biology).

[Application of microelectronics CAD tools to synthetic biology]

Synthetic biology is an emerging science that aims to create new biological functions that do not exist in nature, based on the knowledge acquired in life science over the last century. Since the beginning of this century, several projects in synthetic biology have emerged. The complexity of the developed artificial bio-functions is relatively low so that empirical design methods could be used for the design process. Nevertheless, with the increasing complexity of biological circuits, this is no longer the case and a large number of computer aided design softwares have been developed in the past few years. These tools include languages for the behavioral description and the mathematical modelling of biological systems, simulators at different levels of abstraction, libraries of biological devices and circuit design automation algorithms. All of these tools already exist in other fields of engineering sciences, particularly in microelectronics. This is the approach that is put forward in this paper.

Nanomanufacturing: A Perspective

Nanomanufacturing, the commercially scalable and economically sustainable mass production of nanoscale materials and devices, represents the tangible outcome of the nanotechnology revolution. In contrast to those used in nanofabrication for research purposes, nanomanufacturing processes must satisfy the additional constraints of cost, throughput, and time to market. Taking silicon integrated circuit manufacturing as a baseline, we consider the factors involved in matching processes with products, examining the characteristics and potential of top-down and bottom-up processes, and their combination. We also discuss how a careful assessment of the way in which function can be made to follow form can enable high-volume manufacturing of nanoscale structures with the desired useful, and exciting, properties.