Model-based System Architecture for Event-triggered Wireless Control of Bio-analytical Devices

Bio-analytical devices have gained importance over the past few years because of their application in rapid diagnostics and biochemical analysis. The integration of the Cyber-Physical System (CPS) concept with bio-analytical devices is essential to enable automation of the device. Modeling of CPS-based bio-analytical devices can provide a deeper understanding of system behavior at early design stages and avoid costly iterations. In this paper, a model-based system architecture enabling wireless control of bio-analytical devices is proposed using the extended timed automata-based formal technique. Using this formal technique, a study case "A droplet flow cytometer for antibiotic susceptibility testing of bacteria" is modeled and verified using the UPPAAL tool. The synchronized operation of the modeled system under defined constraints was confirmed. In addition, the case study shows the implications of formal techniques for the design and verification of wireless automation of high-throughput laboratory setups in Model-Based System Engineering (MBSE).