This book describes for researchers in the fields of compiler technology, design and test, and electronic design automation the new area of digital microfluidic biochips (DMBs), and thus offers a new application area for their methods. The authors present a routing-based model of operation execution, along with several associated compilation approaches, which progressively relax the assumption that operations execute inside fixed rectangular modules. Since operations can experience transient faults during the execution of a bioassay, the authors show how to use both offline (design time) and online (runtime) recovery strategies. The book also presents methods for the synthesis of fault-tolerant application-specific DMB architectures. · Presents the current models used for the research on compilation and synthesis techniques of DMBs in a tutorial fashion; · Includes a set of “benchmarks”, which are presented in great detail and includes the source code of most of the techniques presented, including solutions to the basic compilation and synthesis problems; · Discusses several new research problems in detail, using numerous examples.

Digital Microfluidic Biochips focuses on the automated design and production of microfluidic-based biochips for large-scale bioassays and safety-critical applications. Bridging areas of electronic design automation with microfluidic biochip research, the authors present a system-level design automation framework that addresses key issues in the design, analysis, and testing of digital microfluidic biochips. The book describes a new generation of microfluidic biochips with more complex designs that offer dynamic reconfigurability, system scalability, system integration, and defect tolerance. Part I describes a unified design methodology that targets design optimization under resource constraints. Part II investigates cost-effective testing techniques for digital microfluidic biochips that include test resource optimization and fault detection while running normal bioassays. Part III focuses on different reconfiguration-based defect tolerance techniques designed to increase the yield and dependability of digital microfluidic biochips. Expanding upon results from ongoing research on CAD for biochips at Duke University, this book presents new design methodologies that address some of the limitations in current full-custom design techniques. Digital Microfluidic Biochips is an essential resource for achieving the integration of microfluidic components in the next generation of system-on-chip and system-in-package designs.

Digital Microfluidic Biochips focuses on the automated design and production of microfluidic-based biochips for large-scale bioassays and safety-critical applications. Bridging areas of electronic design automation with microfluidic biochip research, the authors present a system-level design automation framework that addresses key issues in the design, analysis, and testing of digital microfluidic biochips. The book describes a new generation of microfluidic biochips with more complex designs that offer dynamic reconfigurability, system scalability, system integration, and defect tolerance. Part I describes a unified design methodology that targets design optimization under resource constraints. Part II investigates cost-effective testing techniques for digital microfluidic biochips that include test resource optimization and fault detection while running normal bioassays. Part III focuses on different reconfiguration-based defect tolerance techniques designed to increase the yield and dependability of digital microfluidic biochips. Expanding upon results from ongoing research on CAD for biochips at Duke University, this book presents new design methodologies that address some of the limitations in current full-custom design techniques. Digital Microfluidic Biochips is an essential resource for achieving the integration of microfluidic components in the next generation of system-on-chip and system-in-package designs.

This book describes novel hardware security and microfluidic biochip design methodologies to protect against tampering attacks in cyberphysical microfluidic biochips (CPMBs). It also provides a general overview of this nascent area of research, which will prove to be a vital resource for practitioners in the field.This book shows how hardware-based countermeasures and design innovations can be a simple and effective last line of defense, demonstrating that it is no longer justifiable to ignore security and trust in the design phase of biochips.

Cyber Physical System (CPS) is an integration of computation, networking, and physical processes: the combination of several systems ofdifferent nature whose main purpose is tocontrol a physical process and, through feedback, adapt itself to new conditions, in real time.Cyber Physical System: Concepts and Applications includes an in-depth coverage of the latestmodels and theories that unify perspectives. It expresses the interacting dynamics of the computational and physical components of asystem in a dynamic environment. Covers automatic application of software countermeasures against physical attacks and impact of cyber physical system on industry 4.0 Explains how formal models provide mathematical abstractions to manage the complexity of a system design Offers a rigorous and comprehensive introduction to the principles of design,specification, modelling, and analysis of cyber physicalsystems Discusses the multiple domains where Cyber Physical system has a vital impact and provides knowledge about different models thatprovide mathematical abstractions tomanage the complexity of a system design Provides the rapidly expanding field of cyber-physical systems with a Long-needed foundational text by an established authority This book is primarily aimed at advanced undergraduates, graduates of computer science. Engineers will also find this book useful.

Microfluidic biochips have gained prominence due to their versatile applications to biochemistry and health-care domains such as point-of-care clinical diagnosis of tropical and cardiovascular diseases, cancer, diabetes, toxicity analysis, and for the mitigation of the global HIV crisis, among others. Microfluidic Lab-on-Chips (LoCs) offer a convenient platform for emulating various fluidic operations in an automated fashion. However, because of the inherent uncertainty of fluidic operations, the outcome of biochemical experiments performed on-chip can be erroneous even if the chip is tested a priori and deemed to be defect-free. This book focuses on the issues encountered in reliable sample preparation with digital microfluidic biochips (DMFBs), particularly in an error-prone environment. It presents state-of-the-art error management techniques and underlying algorithmic challenges along with their comparative discussions. Describes a comprehensive framework for designing a robust and error-tolerant biomedical system which will help in migrating from cumbersome medical laboratory tasks to small-sized LOC-based systems Presents a comparative study on current error-tolerant strategies for robust sample preparation using DMFBs and reports on efficient algorithms for error-tolerant sample dilution using these devices Illustrates how algorithmic engineering, cyber-physical tools, and software techniques are helpful in implementing fault tolerance Covers the challenges associated with design automation for biochemical sample preparation Teaches how to implement biochemical protocols using software-controlled microfluidic biochips Interdisciplinary in its coverage, this reference is written for practitioners and researchers in biochemical, biomedical, electrical, computer, and mechanical engineering, especially those involved in LOC or bio-MEMS design.

This book provides an insightful guide to the design, testing and optimization of micro-electrode-dot-array (MEDA) digital microfluidic biochips. The authors focus on the characteristics specific for MEDA biochips, e.g., real-time sensing and advanced microfluidic operations like lamination mixing and droplet shape morphing. Readers will be enabled to enhance the automated design and use of MEDA and to develop a set of solutions to facilitate the full exploitation of design complexities that are possible with standard CMOS fabrication techniques. The book provides the first set of design automation and test techniques for MEDA biochips. The methods described in this book have been validated using fabricated MEDA biochips in the laboratory. Readers will benefit from an in-depth look at the MEDA platform and how to combine microfluidics with software, e.g., applying biomolecular protocols to software-controlled and cyberphysical microfluidic biochips.