Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip

A digital microfluidic biochip (DMFB) is an attractive technology platform for automating laboratory procedures in biochemistry. In recent years, DMFBs based on a micro-electrode-dot-array (MEDA) architecture have been proposed. MEDA biochips can provide advantages of better capability of droplet manipulation and real-time sensing ability. However, errors are likely to occur due to defects, chip degradation, and the lack of precision inherent in biochemical experiments. Therefore, an efficient error-recovery strategy is essential to ensure the correctness of assays executed on MEDA biochips. By exploiting MEDA-specific advances in droplet sensing, we present a novel error-recovery technique to dynamically reconfigure the biochip using real-time data provided by on-chip sensors. Local recovery strategies based on probabilistic-timed-automata are presented for various types of errors. An online synthesis technique and a control flow are also proposed to connect local-recovery procedures with global error recovery for the complete bioassay. Moreover, an integer linear programming-based method is also proposed to select the optimal local-recovery time for each operation. Laboratory experiments using a fabricated MEDA chip are used to characterize the outcomes of key droplet operations. The PRISM model checker and three benchmarks are used for an extensive set of simulations. Our results highlight the effectiveness of the proposed error-recovery strategy.

[1]  Fei Su,et al.  Unified high-level synthesis and module placement for defect-tolerant microfluidic biochips , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[2]  Gethin Norman,et al.  Model checking for probabilistic timed automata , 2012, Formal Methods in System Design.

[3]  S. Fan,et al.  Digital microfluidic operations on micro-electrode array architecture , 2011, NEMS 2011.

[4]  Hsie-Chia Chang,et al.  A field-programmable lab-on-a-chip with built-in self-test circuit and low-power sensor-fusion solution in 0.35μm standard CMOS process , 2015, 2015 IEEE Asian Solid-State Circuits Conference (A-SSCC).

[5]  Krishnendu Chakrabarty,et al.  Error Recovery in Cyberphysical Digital Microfluidic Biochips , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Krishnendu Chakrabarty,et al.  Functional testing of digital microfluidic biochips , 2007, 2007 IEEE International Test Conference.

[7]  Chen-Yi Lee,et al.  An Intelligent Digital Microfluidic Processor for Biomedical Detection , 2015, J. Signal Process. Syst..

[8]  Kishor S. Trivedi.  Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

[9]  John N. Tsitsiklis,et al.  Introduction to linear optimization , 1997, Athena scientific optimization and computation series.

[10]  Yingchieh Ho,et al.  Design of a micro-electrode cell for programmable lab-on-CMOS platform , 2016, 2016 IEEE International Symposium on Circuits and Systems (ISCAS).

[11]  Philip Brisk,et al.  Rapid online fault recovery for cyber-physical digital microfluidic biochips , 2015, 2015 IEEE 33rd VLSI Test Symposium (VTS).

[12]  Krishnendu Chakrabarty,et al.  On-Line Testing of Lab-on-Chip Using Reconfigurable Digital-Microfluidic Compactors , 2009, International Journal of Parallel Programming.

[13]  Fei Su,et al.  High-level synthesis of digital microfluidic biochips , 2008, JETC.

[14]  Zhongkai Chen,et al.  Droplet routing in high-level synthesis of configurable digital microfluidic biochips based on microelectrode dot array architecture , 2011 .

[15]  Krishnendu Chakrabarty,et al.  Integrated control-path design and error recovery in the synthesis of digital microfluidic lab-on-chip , 2010, JETC.

[16]  John Odentrantz,et al.  Markov Chains: Gibbs Fields, Monte Carlo Simulation, and Queues , 2000, Technometrics.

[17]  Amit Gefen,et al.  Bioengineering research of chronic wounds : a multidisciplinary study approach , 2009 .

[18]  Krishnendu Chakrabarty,et al.  Droplet Size-Aware High-Level Synthesis , 2018, Micro-Electrode-Dot-Array Digital Microfluidic Biochips.

[19]  H. Verheijen,et al.  REVERSIBLE ELECTROWETTING AND TRAPPING OF CHARGE : MODEL AND EXPERIMENTS , 1999, cond-mat/9908328.

[20]  Jeong‐Yeol Yoon,et al.  Preventing Biomolecular Adsorption in Electrowetting-Based Biofluidic Chips. , 2003, Analytical chemistry.

[21]  Krishnendu Chakrabarty,et al.  Error recovery in a micro-electrode-dot-array digital microfluidic biochip , 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[22]  Terry Williams,et al.  Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .

[23]  Fei Su,et al.  Droplet Routing in the Synthesis of Digital Microfluidic Biochips , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[24]  Krishnendu Chakrabarty,et al.  Cross-contamination avoidance for droplet routing in digital microfluidic biochips , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[25]  Fei Su,et al.  Testing of droplet-based microelectrofluidic systems , 2003, International Test Conference, 2003. Proceedings. ITC 2003..

[26]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[27]  Pranab Roy,et al.  A novel droplet routing algorithm for digital microfluidic biochips , 2010, GLSVLSI '10.

[28]  Krishnendu Chakrabarty,et al.  High-level synthesis for micro-electrode-dot-array digital microfluidic biochips , 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[29]  Mohamed Ibrahim,et al.  Advances in Design Automation Techniques for Digital-Microfluidic Biochips , 2015, SyDe Summer School.

[30]  Tsung-Wei Huang,et al.  A Two-Stage Integer Linear Programming-Based Droplet Routing Algorithm for Pin-Constrained Digital Microfluidic Biochips , 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[31]  Paul Pop,et al.  Redundancy optimization for error recovery in digital microfluidic biochips , 2015, Des. Autom. Embed. Syst..

[32]  Krishnendu Chakrabarty,et al.  A Droplet-Manipulation Method for Achieving High-Throughput in Cross-Referencing-Based Digital Microfluidic Biochips , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.