Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Robust In-Field Testing of Digital Microfluidic Biochips

Robust In-Field Testing of Digital Microfluidic Biochips Microfluidic technology offers vast promise for implementing biochemistry-on-chip with diverse applications to clinical diagnosis, genome analysis, drug design, and point-of-care testing. Among various types of fluid-chips, droplet-based digital microfluidic biochips (DMFBs), which consist of a patterned array of controllable electrodes, provide the advantage of programmability, ease of fluidic operations, and versatile droplet mobility. However, because of manufacturing or field defects, electrode degradation, or dielectric breakdown, these chips may suffer from incorrect fluidic behavior. Reliability of fluidic operations is of utmost concern in DMFBs that are used to perform safety-critical bio-protocols. Various methods are deployed to test these devices, either offline or being overlapped with bioassay operations (termed as concurrent or in-field testing). The main challenge of in-field testing lies in the fact that the test must run concurrently with the execution of the normal assay without hampering the correctness of the latter. In prior work, optimal testing for droplet mobility over all electrodes was formulated in terms of finding either a Hamiltonian path or a Eulerian path in an undirected graph that represents the electrode-adjacency structure. Although these models have been studied for offline testing, no such effort was made in the area of concurrent testing. In this work, we propose, for in-field application, an SAT-based modeling and solution approach to find an optimal test plan that can be used to check droplet movement across the boundary between every pair of adjacent electrodes, which is visited by the droplets of the ongoing assay. The proposed method is robust and determines a test solution successfully regardless of the cover assay that is being executed concurrently. Experiments on several real-life assays and other test cases demonstrate the effectiveness of the method with respect to test completion time. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Journal on Emerging Technologies in Computing Systems (JETC) Association for Computing Machinery

Robust In-Field Testing of Digital Microfluidic Biochips

Download PDF
17 pages

Loading next page...
 
/lp/association-for-computing-machinery/robust-in-field-testing-of-digital-microfluidic-biochips-3T36qbu2WC

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Association for Computing Machinery
Copyright
Copyright © 2017 ACM
ISSN
1550-4832
eISSN
1550-4840
DOI
10.1145/3123586
Publisher site
See Article on Publisher Site

Abstract

Microfluidic technology offers vast promise for implementing biochemistry-on-chip with diverse applications to clinical diagnosis, genome analysis, drug design, and point-of-care testing. Among various types of fluid-chips, droplet-based digital microfluidic biochips (DMFBs), which consist of a patterned array of controllable electrodes, provide the advantage of programmability, ease of fluidic operations, and versatile droplet mobility. However, because of manufacturing or field defects, electrode degradation, or dielectric breakdown, these chips may suffer from incorrect fluidic behavior. Reliability of fluidic operations is of utmost concern in DMFBs that are used to perform safety-critical bio-protocols. Various methods are deployed to test these devices, either offline or being overlapped with bioassay operations (termed as concurrent or in-field testing). The main challenge of in-field testing lies in the fact that the test must run concurrently with the execution of the normal assay without hampering the correctness of the latter. In prior work, optimal testing for droplet mobility over all electrodes was formulated in terms of finding either a Hamiltonian path or a Eulerian path in an undirected graph that represents the electrode-adjacency structure. Although these models have been studied for offline testing, no such effort was made in the area of concurrent testing. In this work, we propose, for in-field application, an SAT-based modeling and solution approach to find an optimal test plan that can be used to check droplet movement across the boundary between every pair of adjacent electrodes, which is visited by the droplets of the ongoing assay. The proposed method is robust and determines a test solution successfully regardless of the cover assay that is being executed concurrently. Experiments on several real-life assays and other test cases demonstrate the effectiveness of the method with respect to test completion time.

Journal

ACM Journal on Emerging Technologies in Computing Systems (JETC) – Association for Computing Machinery

Published: Sep 21, 2017

Keywords: Biochips

References

  • Test strategies for electrode degradation in bio-fluidic microsystems
    Al-Gayem, Q.; Liu, H.; Richardson, A.; Burd, N.
  • Correctness checking of bio-chemical protocol Realizations on a digital microfluidic biochip
    Bhattacharjee, S.; Banerjee, A.; Chakrabarty, K.; Bhattacharya, B. B.
  • Digital Microfluidic Biochips: Synthesis, Testing, and Reconfiguration Techniques
    Chakrabarty, K.; Su, F.
  • Z3: An efficient SMT solver
    de Moura, L. M.; Bjørner, N.
  • Graph Theory with Applications to Engineering and Computer Science
    Deo, N.
  • A general testing method for digital microfluidic biochips under physical constraints
    Dinh, T. A.; Yamashita, S.; Ho, T.-Y.; Chakrabarty, K.
  • Chemical and biological applications of digital-microfluidic devices
    Fair, R. B.; Khlystov, A.; Tailor, T. D.; Ivanov, V.; Evans, R. D.; Griffin, P. B.; Srinivasan, V.; Pamula, V. K.; Pollack, M. G.; Zhou, J.
  • Computers and Intractability; A Guide to the Theory of NP-Completeness
    Garey, M. R.; Johnson, D. V.
  • Microfluidic chips for point-of-care immunodiagnostics
    Gervais, L.; de Rooij, N.; Delamarche, E.
  • Fault detection, real-time error recovery, and experimental demonstration for digital microfluidic biochips
    Hu, K.; Hsu, B. N.; Madison, A.; Chakrabarty, K.; Fair, R.
  • Experimental demonstration of error recovery in an integrated cyberphysical digital-microfluidic platform
    Hu, K.; Ibrahim, M.; Chen, L.; Li, Z.; Chakrabarty, K.; Fair, R.
  • Reactant minimization during sample preparation on digital microfluidic biochips using skewed mixing trees
    Huang, J.-D.; Liu, C.-H.; Chiang, T.-W.
  • Let’s get digital: Digitizing chemical biology with microfluidics
    Jebrail, M. J.; Wheeler, A. R.
  • A general and exact routing methodology for digital microfluidic biochips
    Keszocze, O.; Wille, R.; Chakrabarty, K.; Drechsler, R.
  • Exact routing for digital microfluidic biochips with temporary blockages
    Keszocze, O.; Wille, R.; Drechsler, R.
  • Exact one-pass synthesis of digital microfluidic biochips
    Keszocze, O.; Wille, R.; Ho, T. Y.; Drechsler, R.
  • Decision Procedures for Propositional Logic
    Kroening, D.; Strichman, O.
  • Zchaff2004: An efficient SAT solver
    Mahajan, Y. S.; Fu, Z.; Malik, S.
  • Test planning in digital microfluidic biochips using efficient Eulerization techniques
    Mitra, D.; Ghoshal, S.; Rahaman, H.; Chakrabarty, K.; Bhattacharya, B. B.
  • On-line error detection in digital microfluidic biochips
    Mitra, D.; Ghoshal, S.; Rahaman, H.; Chakrabarty, K.; Bhattacharya, B. B.
  • Manifestation of the connection between dielectric breakdown strength and contact angle saturation in electrowetting
    Papathanasiou, A.; Boudouvis, A.
  • Optimal testing of digital microfluidic biochips
    Pasaniuc, B.; Garfinkel, R. S.; Mandoiu, I. I.; Zelikovsky, A.
  • Demand-driven mixture preparation and droplet streaming using digital microfluidic biochips
    Roy, S.; Kumar, S.; Chakrabarti, P. P.; Bhattacharya, B. B.; Chakrabarty, K.
  • Development of a digital microfluidic platform for point of care testing
    Sista, R.; Hua, Z.; Thwar, P.; Sudarsan, A.; Srinivasan, V.; Eckhardt, A.; Pollack, M.; Pamula, V.
  • Droplet routing in the synthesis of digital microfluidic biochips
    Su, F.; Hwang, W.; Chakrabarty, K.
  • Testing and diagnosis of realistic defects in digital microfluidic biochips
    Su, F.; Hwang, W.; Mukherjee, A.; Chakrabarty, K.
  • Testing of droplet-based microelectrofluidic systems
    Su, F.; Ozev, S.; Chakrabarty, K.
  • Ensuring the operational health of droplet-based microelectrofluidic biosensor systems
    Su, F.; Ozev, S.; Chakrabarty, K.
  • Concurrent testing of digital microfluidics-based biochips
    Su, F.; Ozev, S.; Chakrabarty, K.
  • A test droplets dispensing solution for digital microfluidic biochip parallel testing
    Zhang, L.; Mei, J. J.; Yan, B. W.; Gao, Q.