Conference paper
Online Synthesis for Error Recovery in Digital Microfluidic Biochips with Operation Variability
Department of Informatics and Mathematical Modeling, Technical University of Denmark1
Embedded Systems Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
Microfluidic-based biochips are replacing the conventional biochemical analyzers, and are able to integrate on-chip all the necessary functions for biochemical analysis using microfluidics. The digital microfluidic biochips are based on the manipulation of liquids not as a continuous flow, but as discrete droplets.
Researchers have presented approaches for the synthesis of digital microfluidic biochips, which, starting from a biochemical application and a given biochip architecture, determine the allocation, resource binding, scheduling, placement and routing of the operations in the application. The droplet volumes can vary erroneously due to parametric faults, thus impacting negatively the correctness of the application.
Researchers have proposed approaches that synthesize offline predetermined recovery subroutines, which are activated online when errors occur. In this paper, we propose an online synthesis strategy, which determines the appropriate recovery actions at the moment when faults are detected. We have also proposed a biochemical application model which can capture both time-redundant and space-redundant recovery operations.
Experiments performed on three real-life case studies show that, by taking into account the biochip configuration when errors occur, our online synthesis is able to reduce the application times.
Language: | English |
---|---|
Publisher: | IEEE |
Year: | 2012 |
Pages: | 53-58 |
Proceedings: | 2012 Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (DTIP) |
ISBN: | 1467307858 , 2355000212 , 9781467307857 and 9782355000218 |
Types: | Conference paper |
ORCIDs: | Pop, Paul and Madsen, Jan |
Algorithms Biological system modeling Electrodes Libraries Redundancy Schedules Sensors bioMEMS biochemical analysis biochemical application model biochemistry biochip architecture biochip configuration biological techniques biomedical equipment digital microfluidic biochips droplet volumes drops error recovery fault detection fault diagnosis lab-on-a-chip microfluidics online synthesis operation variability parametric faults resource binding space-redundant recovery operations time-redundant recovery operations