Accelerated Computational Fluid Dynamics Simulations of Microfluidic Devices by Exploiting Higher Levels of Abstraction.

The design of microfluidic devices is a cumbersome and tedious process that can be significantly improved by simulation. Methods based on Computational Fluid Dynamics (CFD) are considered state-of-the-art, but require extensive compute time-oftentimes limiting the size of microfluidic devices that can be simulated. Simulation methods that abstract the underlying physics on a higher level generally provide results instantly, but the fidelity of these methods is usually worse. In this work, a simulation method that accelerates CFD simulations by exploiting simulation methods on higher levels of abstraction is proposed. Case studies confirm that the proposed method accelerates CFD simulations by multiple factors (often several orders of magnitude) while maintaining the fidelity of CFD simulations.

Model-driven engineering of safety and security software systems: A systematic mapping study and future research directions.

This article presents a systematic mapping study on the model-driven engineering of safety and security concerns in software systems. Combined modeling and development of both safety and security concerns is an emerging field of research as both concerns affect one another in unique ways. Our mapping study provides an overview of the current state of the art in this field. This study carefully selected 143 publications out of 27,259 relevant papers through a rigorous and systematic process. This study then proposes and answers questions such as frequently used methods and tools and development stages where these concerns are typically investigated in application domains. Additionally, we identify the community's preference for publication venues and trends. The discussion on obtained results also features the gained insights and future research directions.

Simulation of Pressure-Driven and Channel-Based Microfluidics on Different Abstract Levels: A Case Study.

A microfluidic device, or a Lab-on-a-Chip (LoC), performs lab operations on the microscale through the manipulation of fluids. The design and fabrication of such devices usually is a tedious process, and auxiliary tools, such as simulators, can alleviate the necessary effort for the design process. Simulations of fluids exist in various forms and can be categorized according to how well they represent the underlying physics, into so-called abstraction levels. In this work, we consider simulation approaches in 1D, which are based on analytical solutions of simplified problems, and approaches in 2D and 3D, for which we use two different Computational Fluid Dynamics (CFD) methods-namely, the Finite Volume Method (FVM) and the Lattice-Boltzmann Method (LBM). All these methods come with their pros and cons with respect to accuracy and required compute time, but unfortunately, most designers and researchers are not aware of the trade-off that can be made within the broad spectrum of available simulation approaches for microfluidics and end up choosing a simulation approach arbitrarily. We provide an overview of different simulation approaches as well as a case study of their performance to aid designers and researchers in their choice. To this end, we consider three representative use cases of pressure-driven and channel-based microfluidic devices (namely the non-Newtonian flow in a channel, the mixing of two fluids in a channel, and the behavior of droplets in channels). The considerations and evaluations raise the awareness and provide several insights for what simulation approaches can be utilized today when designing corresponding devices (and for what they cannot be utilized yet).

Off-Chip-Controlled Droplet-on-Demand Method for Precise Sample Handling.

We present a simple, stable, and highly reproducible off-chip-controlled method for generating droplets-on-demand. To induce the droplet generation, externally pre-programmed positive pressure pulses are applied to the dispersed phase input while the continuous phase channel remains at constant input pressure. By controlling solely one fluid phase, the method allows for connecting multiple independent dispersed-phase channels to a single continuous channel. Experimental results show that the method allows for a droplet generation frequency of 33 Hz and a high reproducibility of droplets with standard deviations less than 5% of the mean value. Moreover, utilization of the off-chip-controlled method results in the simplicity in chip design and allows rapid (∼5 min) and cost-efficient (0.5 USD) prototyping of the device.

Meander Designer: Automatically Generating Meander Channel Designs.

Microfluidics continues to bring innovation to the life sciences. It stimulates progress by enabling new ways of research in biology, chemistry, and biotechnology. However, when designing a microfluidic device, designers have to conduct many tasks by hand-resulting in labor-intensive processes. In particular, when drawing the design of the device, designers have to handle re-occurring entities. Meander channels are one example, which are frequently used in different platforms but always have to fit the respective application and design rules. This work presents an online tool which is capable of automatically generating user-defined, two-dimensional designs of fluidic meander channels facilitating fluidic hydrodynamic resistances. The tool implements specific design rules as it considers the user's needs and fabrication requirements. The compliance of the meanders generated by the proposed tool is confirmed by fabricating the generated designs and comparing whether the resulting devices indeed realize the desired specification. To this end, two case studies are considered: first, the realization of dedicated fluidic resistances and, second, the realization of dedicated mixing ratios of fluids. The results demonstrate the versatility of the tool regarding application and technology. Overall, the freely accessible tool with its flexibility and simplicity renders manual drawing of meanders obsolete and, hence, allows for a faster, more straightforward design process.

Simulation before fabrication: a case study on the utilization of simulators for the design of droplet microfluidic networks.

The functional performance of passively operated droplet microfluidics is sensitive with respect to the dimensions of the channel network, the fabrication precision as well as the applied pressure because the entire network is coupled together. Especially, the local and global hydrodynamic resistance changes caused by droplets make the task to develop a robust microfluidic design challenging as plenty of interdependencies which all affect the intended behavior have to be considered by the designer. After the design, its functionality is usually validated by fabricating a prototype and testing it with physical experiments. In case that the functionality is not implemented as desired, the designer has to go back, revise the design, and repeat the fabrication as well as experiments. This current design process based on multiple iterations of refining and testing the design produces high costs (financially as well as in terms of time). In this work, we show how a significant amount of those costs can be avoided when applying simulation before fabrication. To this end, we demonstrate how simulations on the 1D circuit analysis model can help in the design process by means of a case study. Therefore, we compare the design process with and without using simulation. As a case study, we use a microfluidic network which is capable of trapping and merging droplets with different content on demand. The case study demonstrates how simulation can help to validate the derived design by considering all local and global hydrodynamic resistance changes. Moreover, the simulations even allow further exploration of different designs which have not been considered before due to the high costs.

Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact.

It is challenging to transform an arbitrary quantum circuit into a form protected by surface code quantum error correcting codes (a variant of topological quantum error correction), especially if the goal is to minimise overhead. One of the issues is the efficient placement of magic state distillation sub circuits, so-called distillation boxes, in the space-time volume that abstracts the computation's required resources. This work presents a general, systematic, online method for the synthesis of such circuits. Distillation box placement is controlled by so-called schedulers. The work introduces a greedy scheduler generating compact box placements. The implemented software, whose source code is available at www.github.com/alexandrupaler/tqec, is used to illustrate and discuss synthesis examples. Synthesis and optimisation improvements are proposed.