A Logic-Based Physical Simulation Framework for Digital Microfluidic Biochips

被引:0
|
作者
Madsen, Joel August Vest [1 ]
Jackson, Carl Alexander [1 ]
Collignon, Alexander Marc [1 ]
Madsen, Jan [1 ]
Pezzarossa, Luca [1 ]
机构
[1] Tech Univ Denmark, Dept Appl Math & Comp Sci, Lyngby, Denmark
关键词
Digital microfluidics biochips; Simulation framework; Logic-based simulation; Web application;
D O I
10.1007/978-3-031-78380-7_1
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Digital microfluidic biochips provide a controlled and miniaturized environment to carry out biochemical protocols in an automated fashion. Software-based simulators are essential tools that aid the design of such protocols by enabling users to verify correct execution before targeting the physical biochip. To produce a simulation that is faithful to reality, the fluidic behavior of the droplets and their interaction with the driving electrodes must be taken into account. This paper presents a framework for simulating DMF biochips in a resource-constrained web-based environment. The framework is based on a novel droplet model that uses logic-based calculations to capture fluidic behavior. Thus, enabling to faithfully simulate the movement, merging, and splitting of arbitrary-shaped droplets with a low-computational footprint. The simulation framework also includes modular component models to capture the behavior of sensors and actuators, an event-driven simulation engine, and a graphical user interface. The framework is implemented as a client-side web application and runs in a browser. The evaluation carried out using artificial and real-life test cases shows that the framework can deliver real-time simulations with a high level of fidelity.
引用
收藏
页码:1 / 16
页数:16
相关论文
共 50 条
  • [21] A Framework for Validation of Synthesized MicroElectrode Dot Array Actuations for Digital Microfluidic Biochips
    Roy, Pushpita
    Banerjee, Ansuman
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2021, 26 (06)
  • [22] Digital Rights Management for Paper-Based Microfluidic Biochips
    Li, Jian-De
    Wang, Sying-Jyan
    Li, Katherine Shu-Min
    Ho, Tsung-Yi
    2018 IEEE 27TH ASIAN TEST SYMPOSIUM (ATS), 2018, : 179 - 184
  • [23] Path Scheduling on Digital Microfluidic Biochips
    Grissom, Daniel
    Brisk, Philip
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 26 - 35
  • [24] Functional testing of digital microfluidic biochips
    Xu, Tao
    Chakrabarty, Krishnendu
    2007 IEEE INTERNATIONAL TEST CONFERENCE, VOLS 1 AND 2, 2007, : 505 - 514
  • [25] A Cooperative Multiagent Reinforcement Learning Framework for Droplet Routing in Digital Microfluidic Biochips
    Jiang, Chen
    Yang, Rongquan
    Xu, Qi
    Yao, Hailong
    Ho, Tsung-Yi
    Yuan, Bo
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (09) : 3007 - 3020
  • [26] Enhanced Watermarking for Paper-Based Digital Microfluidic Biochips
    Li, Jian-De
    Wang, Sying-Jyan
    Li, Katherine Shu-Min
    Ho, Tsung-Yi
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2024, 29 (04) : 1 - 27
  • [27] A Logic-based Security Framework for Mobile Perimeter
    Maddumala, Mahesh Nath
    Kumar, Vijay
    2015 16TH IEEE INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT, VOL 2, 2015, : 30 - 33
  • [28] A LOGIC-BASED FRAMEWORK FOR ADDRESS INTERPRETATION AND RECTIFICATION
    OCCENA, LG
    TANG, LC
    COMPUTERS IN INDUSTRY, 1992, 20 (01) : 63 - 73
  • [29] A Logic-Based Framework for Verifying Consensus Algorithms
    Dragoi, Cezara
    Henzinger, Thomas A.
    Veith, Helmut
    Widder, Josef
    Zufferey, Damien
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION: (VMCAI 2014), 2014, 8318 : 161 - 181
  • [30] Quantitative logic-based framework for agile methodologies
    Pedrycz, Witold
    JOURNAL OF SYSTEMS ARCHITECTURE, 2006, 52 (11) : 700 - 707