Model-Driven Design of Clinical Guidance Systems

Clinical guidance systems have been widely adopted to help medical staffs to avoid preventable medical errors such as delay in diagnosis, treatment or untended deviations from best practice guidelines. However, because patient condition changes rapidly and medical staffs are usually overloaded in acute care setting, how to ensure the correctness of the system reaction to those rapid changes and managing interaction with physicians remains challenging. In this paper, we propose a domain-specific model-driven design approach to address these challenges for designing clinical guidance systems. Firstly, we translate the relevant medical knowledge described in generic literature and different best practice guidelines into a set of executable and indirectly verifiable finite state machine models. We introduce an organ-centric paradigm to construct clinical models, and also develop a physician model to track physician-system interactions and deviations. Secondly, for verification of the compositional system model, we translate the model into timed automata, based on which, we formalize a set of clinical and system safety requirements as computation tree logic(CTL) formulas and use the UPPAAL model checking tool to formally verify those requirements. In this way, the correctness of the model can be mathematically proved. Finally, we can automatically generate the executable code from the verified model using the corresponding code generation tools for finite state machine. For evaluation, we apply the approach to the design of clinical guidance systems for cardiac arrest. The generated code can be deployed and interact with existing guidance systems.

[1]  Nancy Strzyzewski,et al.  Common Errors Made in Resuscitation of Respiratory and Cardiac Arrest , 2006, Plastic surgical nursing : official journal of the American Society of Plastic and Reconstructive Surgical Nurses.

[2]  Insup Lee,et al.  Prototyping closed loop physiologic control with the medical device coordination framework , 2010, SEHC '10.

[3]  Steve Warren,et al.  An open test bed for medical device integration and coordination , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[4]  Hiroshi Tanaka,et al.  Automated Discovery of Medical Expert System Rules from Clinical Databases Based on Rough Sets , 1996, KDD.

[5]  Donna L. Hudson Medical Expert Systems , 2006 .

[6]  M. Imhoff,et al.  Alarm Algorithms in Critical Care Monitoring , 2006, Anesthesia and analgesia.

[7]  Rance Cleaveland,et al.  High-confidence medical device software and systems , 2006, Computer.

[8]  Cui Tao,et al.  Building a robust, scalable and standards-driven infrastructure for secondary use of EHR data: The SHARPn project , 2012, J. Biomed. Informatics.

[9]  Ursula Gather,et al.  Smart alarms from medical devices in the OR and ICU. , 2009, Best practice & research. Clinical anaesthesiology.

[10]  Lui Sha,et al.  Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models , 2016, 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS).

[11]  Laila Rosalie Cochon Coen Bayesian statistical modeling for clinical decision making in emergency medicine , 2018 .

[12]  D. Harrison,et al.  Systematic review and evaluation of physiological track and trigger warning systems for identifying at-risk patients on the ward , 2007, Intensive Care Medicine.

[13]  D. L. Hudson,et al.  Fuzzy logic in medical expert systems , 1987 .

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

[15]  Peter Szolovits,et al.  Artificial intelligence in medical diagnosis. , 1988, Annals of internal medicine.

[16]  L. Kohn,et al.  To Err Is Human : Building a Safer Health System , 2007 .

[17]  Igor Kononenko,et al.  Machine learning for medical diagnosis: history, state of the art and perspective , 2001, Artif. Intell. Medicine.

[18]  Steen Andreassen,et al.  Medical expert systems based on causal probabilistic networks , 1991 .