Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models

Chunhui Guo, Shangping Ren, Yu Jiang, Po Liang Wu, Lui Sha, Richard B. Berlin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Improving effectiveness and safety of patient care is an ultimate objective for medical cyber- physical systems. However, the existing medical best practice guidelines in hospital handbooks are often lengthy and difficult for medical staff to remember and apply clinically. Statechart is a widely used model in designing complex systems and enables rapid prototyping and clinical validation with medical doctors. However, clinical validation is often not adequate for guaranteeing the correctness and safety of medical cyber-physical systems, and formal verification is required. The paper presents an approach that transforms medical best practice guidelines to verifiable statechart models and supports both clinical validation in collaboration with medical doctors and formal verification. In particular, we use an open source statechart tool Yakindu to model best practice guidelines and use the statechart to interact with doctors for validating the model correctness. The statechart model is then automatically transformed to a verifiable formal model, such as timed automata, so that existing formal verification tool, such as UPPAAL, can be used to verify required safety properties. The approach also provides the ability to trace back to the paths in the statechart model (Yakindu model) when a specific property in its associated formal model (UPPAAL model) fails. A cardiac arrest scenario is used as a case study to validate the proposed approach. The tool is available on our website www.cs.iit.edu/~code/software/Y2U.

Original languageEnglish (US)
Title of host publication2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)9781509017720
DOIs
StatePublished - May 25 2016
Event7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016 - Vienna, Austria
Duration: Apr 11 2016Apr 14 2016

Publication series

Name2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems, ICCPS 2016 - Proceedings

Other

Other7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016
Country/TerritoryAustria
CityVienna
Period4/11/164/14/16

ASJC Scopus subject areas

  • Energy Engineering and Power Technology
  • Control and Systems Engineering
  • Artificial Intelligence
  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Transforming Medical Best Practice Guidelines to Executable and Verifiable Statechart Models'. Together they form a unique fingerprint.

Cite this