Design of Cyber Bio-analytical Physical Systems: Formal methods, architectures, and multi-system interaction strategies

Integration of the Cyber–Physical System (CPS) concept with bio-analytical devices is highly desirable to enable device automation as well as to improve diagnostic and analytical capabilities. However, the modeling must account for entity interactions, system dynamics, and non-functional aspects required for proper device functionality.