Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems

Chunhui Guo, Zhicheng Fu, Shangping Ren, Yu Jiang, Lui Sha

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


Improving safety of patient care is an ultimate objective for medical systems. Though many medical best practice guidelines exist and are in hospital handbooks, they are often lengthy and difficult for medical professionals to remember and apply clinically. Hence, developing safe and correct medical best practice guideline systems is an urgent need. Many efforts have been made in modeling, clinical validation, model level formal verification of medical best practice guidelines. However, code level verification is also necessary to develop verifiable safe and correct medical guideline systems. The paper presents an approach to transform safety properties specified in verifiable medical guideline models to JavaMOP runtime monitor and specify JavaMOP monitors to runtime monitor these safety properties during execution of Java code generated from validated and verified statechart models. We use a simplified version of a cardiac arrest scenario provided by Carle Foundation Hospital as a case study to validate the proposed approach.

Original languageEnglish (US)
Title of host publicationProceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017
EditorsClaudio Demartini, Thomas Conte, Motonori Nakamura, Chung-Horng Lung, Zhiyong Zhang, Kamrul Hasan, Sorel Reisman, Ling Liu, William Claycomb, Hiroki Takakura, Ji-Jiang Yang, Edmundo Tovar, Stelvio Cimato, Sheikh Iqbal Ahamed, Toyokazu Akiyama
PublisherIEEE Computer Society
Number of pages6
ISBN (Electronic)9781538603673
StatePublished - Sep 7 2017
Event41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017 - Torino, Italy
Duration: Jul 4 2017Jul 8 2017

Publication series

NameProceedings - International Computer Software and Applications Conference
ISSN (Print)0730-3157


Other41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017

ASJC Scopus subject areas

  • Software
  • Computer Science Applications

Cite this