From offline toward real-time: A hybrid systems model checking and CPS co-design approach for Medical Device Plug-and-Play (MDPnP)

Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jiannong Cao, Xue Liu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

22 Citations (Scopus)


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: i) there are no good offline differential equation based models for many human body parameters, ii) the complexity of human body can result in many variables, complicating the system model. In an attempt to address the challenges, we propose to alter the traditional approach of offline hybrid systems model checking of time-unbounded (i.e., long-run) future behavior to online hybrid systems model checking of time-bounded (i.e., short-run) future behavior. According to this proposal, online model checking runs as a real-time task to prevent faults. To meet the real-time requirements, certain design patterns must be followed, which brings up the co-design issue. We propose two sets of system co-design patterns for hard real-time and soft real-time respectively. To evaluate our proposals, a case study on laser tracheotomy MDPnP is carried out. The study shows the necessity of online model checking. Furthermore, test results based on real-world human subject trace show the feasibility and effectiveness of our proposed co-design.
Original languageEnglish
Title of host publicationProceedings - 2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012
Number of pages10
Publication statusPublished - 31 May 2012
Event2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012 - Beijing, China
Duration: 17 Apr 201219 Apr 2012


Conference2012 IEEE/ACM 3rd International Conference on Cyber-Physical Systems, ICCPS 2012

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this