From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

• Published in: IEEE transactions on parallel and distributed systems Vol. 25; no. 3; pp. 642 - 652
• Main Authors: Li, Tao, Tan, Feng, Wang, Qixin, Bu, Lei, Cao, Jian-Nong, Liu, Xue
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.03.2014; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Automata; Biological system modeling; Blood; Cyber-physical systems; Human body; Hybrid systems; Laser modes; Logic programming; Mathematical analysis; Mathematical models; medical; Model checking; On-line systems; Online; Proposals; Real time; Safety

Hybrid systems model checking is a great success in guaranteeing the safety of computerized control cyber-physical systems (CPS). However, when applying hybrid systems model checking to Medical Device Plug-and-Play (MDPnP) CPS, we encounter two challenges due to the complexity of human body: 1) ther...