Multi-level models and infrastructures for simulating biological system development

The hierarchical organisation of biological systems plays a crucial role in the pattern formation of gene expression resulting from the morphogenetic processes, where autonomous internal dynamics of cells, as well as cell-to-cell interactions through membranes, are responsible for the emergent peculiar structures of the individual phenotype. Being able to reproduce the systems dynamics at different levels of such a hierarchy might be very useful for studying such a complex phenomenon of self-organisation. The idea is to model the phenomenon in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartment events determines the emergent behaviour resulting in the formation of spatial patterns. According to these premises the thesis proposes a review of the different approaches already developed in modelling developmental biology problems, as well as the main models and infrastructures available in literature for modelling biological systems, analysing their capabilities in tackling multi-compartment / multi-level models. The thesis then introduces a practical framework, MS-BioNET, for modelling and simulating these scenarios exploiting the potential of multi-level dynamics. This is based on (i) a computational model featuring networks of compartments and an enhanced model of chemical reaction addressing molecule transfer, (ii) a logic-oriented language to flexibly specify complex simulation scenarios, and (iii) a simulation engine based on the many-species/many-channels optimised version of Gillespie’s direct method. The thesis finally proposes the adoption of the agent-based model as an approach capable of capture multi-level dynamics. To overcome the problem of parameter tuning in the model, the simulators are supplied with a module for parameter optimisation. The task is defined as an optimisation problem over the parameter space in which the objective function to be minimised is the distance between the output of the simulator and a target one. The problem is tackled with a metaheuristic algorithm. As an example of application of the MS-BioNET framework and of the agent-based model, a model of the first stages of Drosophila Melanogaster development is realised. The model goal is to generate the early spatial pattern of gap gene expression. The correctness of the models is shown comparing the simulation results with real data of gene expression with spatial and temporal resolution, acquired in free on-line sources.

Multi-organ support device for combined extracorporeal carbon dioxide removal and hemofiltration treatments with pump-free solution for ultrafiltration

The use of extracorporeal organ support (ECOS) devices is increasingly widespread, to temporarily sustain or replace the functions of impaired organs in critically ill patients. Among ECOS, respiratory functions are supplied by extracorporeal life support (ECLS) therapies like extracorporeal membrane oxygenation (ECMO) and extracorporeal carbon dioxide removal (ECCO2R), and renal replacement therapies (RRT) are used to support kidney functions. However, the leading cause of mortality in critically ill patients is multi-organ dysfunction syndrome (MODS), which requires a complex therapeutic strategy where extracorporeal treatments are often integrated to pharmacological approach. Recently, the concept of multi-organ support therapy (MOST) has been introduced, and several forms of isolated ECOS devices are sequentially connected to provide simultaneous support to different organ systems. The future of critical illness goes towards the development of extracorporeal devices offering multiple organ support therapies on demand by a single hardware platform, where treatment lines can be used alternately or in conjunction. The aim of this industrial PhD project is to design and validate a device for multi-organ support, developing an auxiliary line for renal replacement therapy (hemofiltration) to be integrated on a platform for ECCO2R. The intended purpose of the ancillary line, which can be connected on demand, is to remove excess fluids by ultrafiltration and achieve volume control by the infusion of a replacement solution, as patients undergoing respiratory support are particularly prone to develop fluid overload. Furthermore, an ultrafiltration regulation system shall be developed using a powered and software-modulated pinch-valve on the effluent line of the hemofilter, proposed as an alternative to the state-of-the-art solution with peristaltic pump.

Methodologies for Synthesizable Programmable Devices based on Multi-Stage Switching Networks

Nowadays the rise of non-recurring engineering (NRE) costs associated with complexity is becoming a major factor in SoC design, limiting both scaling opportunities and the flexibility advantages offered by the integration of complex computational units. The introduction of embedded programmable elements can represent an appealing solution, able both to guarantee the desired flexibility and upgradabilty and to widen the SoC market. In particular embedded FPGA (eFPGA) cores can provide bit-level optimization for those applications which benefits from synthesis, paying on the other side in terms of performance penalties and area overhead with respect to standard cell ASIC implementations. In this scenario this thesis proposes a design methodology for a synthesizable programmable device designed to be embedded in a SoC. A soft-core embedded FPGA (eFPGA) is hence presented and analyzed in terms of the opportunities given by a fully synthesizable approach, following an implementation flow based on Standard-Cell methodology. A key point of the proposed eFPGA template is that it adopts a Multi-Stage Switching Network (MSSN) as the foundation of the programmable interconnects, since it can be efficiently synthesized and optimized through a standard cell based implementation flow, ensuring at the same time an intrinsic congestion-free network topology. The evaluation of the flexibility potentialities of the eFPGA has been performed using different technology libraries (STMicroelectronics CMOS 65nm and BCD9s 0.11μm) through a design space exploration in terms of area-speed-leakage tradeoffs, enabled by the full synthesizability of the template. Since the most relevant disadvantage of the adopted soft approach, compared to a hardcore, is represented by a performance overhead increase, the eFPGA analysis has been made targeting small area budgets. The generation of the configuration bitstream has been obtained thanks to the implementation of a custom CAD flow environment, and has allowed functional verification and performance evaluation through an application-aware analysis.