1. Model-based systems engineering for life-sciences instrumentation development
- Author
-
Winnie Edith Svendsen, Jan Madsen, François Patou, Anja Maier, and Maria Dimaki
- Subjects
0301 basic medicine ,021103 operations research ,Computer Networks and Communications ,business.industry ,0211 other engineering and technologies ,Model-based systems engineering ,Cyber-physical system ,02 engineering and technology ,03 medical and health sciences ,030104 developmental biology ,Hardware and Architecture ,Systems Modeling Language ,New product development ,Systems engineering ,Design process ,Instrumentation (computer programming) ,Engineering design process ,business ,Formal verification - Abstract
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.
- Published
- 2018