An Organ-Centric Best Practice Assist System for Acute Care

Rahmaniheris, Maryam; Wu, Po-Liang; Sha, Lui; Berlin, Richard R.

doi:10.1109/cbms.2016.12

Cited by 6 publications

(2 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Over past two decades, many computer executable medical best practice guideline models are developed, such as Asbru [2], GLIF [3], GLARE [4], EON [5], and PROforma [6]. Rahmaniheris et al [7] have developed an organ-centric approach to model medical best practice guidelines with statecharts, which enable rapid prototyping and allow quick clinical validations by medical staff through simulations. Tan et al [8] proposed a design pattern for wireless medical Cyber-Physical Systems (CPS).…”

Section: Introduction and Related Workmentioning

confidence: 99%

“…Most existing medical best practice guidelines in hospital handbooks are represented by flowcharts [19] which are very similar to statecharts [20], so are many medical disease models and treatment models. In addition to the high similarities between medical models and statecharts, statecharts are executable and have become a widely used model in designing complex systems, such as avionics [21], air traffic control systems [22], and medical systems [7], [23], [16]. These distinguishing features of statecharts have inspired us to use it as a computerized representation for medical best practice guidelines.…”

Section: Introduction and Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines With Statecharts

Guo¹,

Fu²,

Zhang³

et al. 2019

IEEE Internet Things J.

Self Cite

View full text Add to dashboard Cite

Improving patient care safety is an ultimate objective for medical cyber-physical systems. A recent study shows that the patients' death rate can be significantly reduced by computerizing medical best practice guidelines. To facilitate the development of computerized medical best practice guidelines, statecharts are often used as a modeling tool because of their high resemblances to disease and treatment models and their capabilities to provide rapid prototyping and simulation for clinical validations. However, some implementations of statecharts, such as Yakindu statecharts, are priority-based and have synchronous execution semantics which makes it difficult to model certain functionalities that are essential in modeling medical guidelines, such as two-way communications and configurable execution orders. Rather than introducing new statechart elements or changing the statechart implementation's underline semantics, we use existing basic statechart elements to design model patterns for the commonly occurring issues. In particular, we show the design of model patterns for two-way communications and configurable execution orders and formally prove the correctness of these model patterns. We further use a simplified airway laser surgery scenario as a case study to demonstrate how the developed model patterns address the two-way communication and configurable execution order issues and their impact on validation and verification of medical safety properties.

show abstract

Section: Introduction and Related Workmentioning

confidence: 99%