5 research outputs found

    Compilation and Synthesis for Fault-Tolerant Digital Microfluidic Biochips

    Get PDF

    Model-based systems engineering for life-sciences instrumentation development

    Get PDF
    Next‐generation genome sequencing machines and Point‐of‐Care (PoC) in vitro diagnostics devices are precursors of an emerging class of Cyber‐Physical Systems (CPS), one that harnesses biomolecular‐scale mechanisms to enable novel "wet‐technology" applications in medicine, biotechnology, and environmental science. Although many such applications exist, testifying the importance of innovative life‐sciences instrumentation, recent events have highlighted the difficulties that designing organizations face in their attempt to guarantee safety, reliability, and performance of this special class of CPS. New regulations and increasing competition pressure innovators to rethink their design and engineering practices, and to better address the above challenges. The pace of innovation will be determined by how organizations manage to ensure the satisfaction of aforementioned constraints while also streamlining product development, maintaining high cost‐efficiency and shortening time‐to‐market. Model‐Based Systems Engineering provides a valuable framework for addressing these challenges. In this paper, we demonstrate that existing and readily available model‐based development frameworks can be adopted early in the life‐sciences instrumentation design process. Such frameworks are specifically helpful in describing and characterizing CPS including elements of a biological nature both at the architectural and performance level. We present the SysML model of a smartphone‐based PoC diagnostics system designed for detecting a particular molecular marker. By modeling components and behaviors spanning across the biological, physical‐nonbiological, and computational domains, we were able to characterize the important systemic relations involved in the specification of our system's Limit of Detection. Our results illustrate the suitability of such an approach and call for further work toward formalisms enabling the formal verification of systems including biomolecular components

    Virginia Commonwealth University Undergraduate Bulletin

    Get PDF
    Undergraduate bulletin for Virginia Commonwealth University for the academic year 2019-2020. It includes information on academic regulations, degree requirements, course offerings, faculty, academic calendar, and tuition and expenses for undergraduate programs

    Virginia Commonwealth University Undergraduate Bulletin

    Get PDF
    Undergraduate bulletin for Virginia Commonwealth University for the academic year 2020-2021. It includes information on academic regulations, degree requirements, course offerings, faculty, academic calendar, and tuition and expenses for undergraduate programs

    Virginia Commonwealth University Undergraduate Bulletin

    Get PDF
    Undergraduate bulletin for Virginia Commonwealth University for the academic year 2022-2023. It includes information on academic regulations, degree requirements, course offerings, faculty, academic calendar, and tuition and expenses for undergraduate programs
    corecore