Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/8459
Title: From offline toward real time : a hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations
Authors: Li, T
Tan, F
Wang, Q 
Bu, L
Cao, JN 
Liu, X
Keywords: Cyber-physical systems
Hybrid systems
Medical
Model checking
Real-time
Issue Date: 2014
Publisher: Institute of Electrical and Electronics Engineers
Source: IEEE transactions on parallel and distributed systems, 2014, v. 25, no. 3, 6470605, p. 642-652 How to cite?
Journal: IEEE transactions on parallel and distributed systems 
Abstract: 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) there are no good offline differential equation-based models for many human body parameters; 2) 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., infinite horizon, a.k.a., long run) future behavior to online hybrid systems model checking of time-bounded (i.e., finite horizon, a.k.a., 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 codesign issue. We propose two sets of system codesign 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 codesign.
URI: http://hdl.handle.net/10397/8459
ISSN: 1045-9219
EISSN: 1558-2183
DOI: 10.1109/TPDS.2013.50
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

SCOPUSTM   
Citations

19
Last Week
1
Last month
1
Citations as of Oct 11, 2017

WEB OF SCIENCETM
Citations

9
Last Week
0
Last month
0
Citations as of Oct 17, 2017

Page view(s)

71
Last Week
5
Last month
Checked on Oct 23, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.