A model-based architecture for testing medical cyber-physical systems

Understanding the human body dynamics in response to any medical treatment makes automated decision support systems for healthcare quite complex. In this paper, we present an architecture for Medical Cyber-Physical Systems to help developers to generate test cases for their applications using models already validated. It is based on component models to simulate the operation of medical devices and patient data. Medical guidelines and a clinical database have been used together with statistical techniques to create regression models that simulate vital signs. A controlled experiment of a clinical scenario has been developed to validate the proposed architecture components. The results of this study indicate that models for the healthcare domain are a promising alternative to test their applications.

[1]  Insup Lee,et al.  Challenges and Research Directions in Medical Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[2]  Isabel Rey Madeira,et al.  The fourth report on the diagnosis, evaluation, and treatment of high blood pressure in children and adolescents. , 2004, Pediatrics.

[3]  Insup Lee,et al.  Medical Cyber Physical Systems , 2010, Design Automation Conference.

[4]  Irl B Hirsch,et al.  American Association of Clinical Endocrinologists Medical Guidelines for clinical practice for developing a diabetes mellitus comprehensive care plan: executive summary. , 2011, Endocrine practice : official journal of the American College of Endocrinology and the American Association of Clinical Endocrinologists.

[5]  Insup Lee,et al.  Model-Driven Safety Analysis of Closed-Loop Medical Systems , 2014, IEEE Transactions on Industrial Informatics.

[6]  B. Rosner,et al.  The fourth report on the diagnosis, evaluation, and treatment of high blood pressure in children and adolescents , 2004 .

[7]  DOWNLOAD HERE,et al.  Process Control: Modeling, Design and Simulation , 2003 .

[8]  Frank Vahid,et al.  Digital mockups for the testing of a medical ventilator , 2012, IHI '12.

[9]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[10]  Zhihao Jiang,et al.  Cyber–Physical Modeling of Implantable Cardiac Medical Devices , 2012, Proceedings of the IEEE.

[11]  P. O S I T I O N S T A T E M E N T,et al.  Diagnosis and Classification of Diabetes Mellitus , 2011, Diabetes Care.

[12]  Insup Lee,et al.  Rationale and Architecture Principles for Medical Application Platforms , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

[13]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[14]  Michael Bursztyn,et al.  Linear relationship between systolic and diastolic blood pressure monitored over 24 h: assessment and correlates , 2008, Journal of hypertension.

[15]  Hartmut Derendorf,et al.  Electroencephalogram-based pharmacodynamic measures: a review , 2012, International journal of clinical pharmacology and therapeutics.

[16]  Steven McGee,et al.  Evidence-Based Physical Diagnosis , 2007 .

[17]  H. Calkins,et al.  ACC/AHA/HRS 2006 key data elements and definitions for electrophysiological studies and procedures: a report of the American College of Cardiology/American Heart Association Task Force on Clinical Data Standards (ACC/AHA/HRS Writing Committee to Develop Data Standards on Electrophysiology). , 2006, Journal of the American College of Cardiology.

[18]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[19]  Hugh Calkins,et al.  ACC/AHA/HRS 2006 key data elements and definitions for electrophysiological studies and procedures: a report of the American College of Cardiology/American Heart Association Task Force on Clinical Data Standards (ACC/AHA/HRS Writing Committee to Develop Data Standards on Electrophysiology). , 2006, Circulation.