Use runtime verification to improve the quality of medical care practice Conference Paper


Author(s): Jiang, Yu; Liu, Han; Kong, Hui; Wang, Rui; Hosseini, Mohamad; Sun, Jiaguang; Sha, Lui
Title: Use runtime verification to improve the quality of medical care practice
Title Series: Proceedings International Conference on Software Engineering
Affiliation IST Austria
Abstract: Clinical guidelines and decision support systems (DSS) play an important role in daily practices of medicine. Many text-based guidelines have been encoded for work-flow simulation of DSS to automate health care. During the collaboration with Carle hospital to develop a DSS, we identify that, for some complex and life-critical diseases, it is highly desirable to automatically rigorously verify some complex temporal properties in guidelines, which brings new challenges to current simulation based DSS with limited support of automatical formal verification and real-time data analysis. In this paper, we conduct the first study on applying runtime verification to cooperate with current DSS based on real-time data. Within the proposed technique, a user-friendly domain specific language, named DRTV, is designed to specify vital real-time data sampled by medical devices and temporal properties originated from clinical guidelines. Some interfaces are developed for data acquisition and communication. Then, for medical practice scenarios described in DRTV model, we will automatically generate event sequences and runtime property verifier automata. If a temporal property violates, real-time warnings will be produced by the formal verifier and passed to medical DSS. We have used DRTV to specify different kinds of medical care scenarios, and applied the proposed technique to assist existing DSS. As presented in experiment results, in terms of warning detection, it outperforms the only use of DSS or human inspection, and improves the quality of clinical health care of hospital
Keywords: computer-aided software engineering; Runtime Verification; Clinical guideline; health care; medical decision support system; real-time data
Conference Title: ICSE: International Conference on Software Engineering
Conference Dates: May 14 -22, 2016
Conference Location: Austin, TX, US
Publisher: IEEE  
Date Published: 2016-05-14
Start Page: 112
End Page: 121
Sponsor: This work is supported by NSF CNS 13-30077, NSF CNS 13-29886, NSF CNS 15-45002, and NSFC 61303014.
DOI: 10.1145/2889160.2889233
Notes: The authors thank Dr. Bobby and Dr. Hill at Carle Hospital, Urbana, IL for their help with the discussion on medical knowledge.
Open access: no
IST Austria Authors
  1. Hui Kong
    9 Kong
Related IST Austria Work