Design Verifiably Correct Model Patterns to Facilitate Modeling Medical Best Practice Guidelines with Statecharts (Technical Report)

11/02/2018
by   Chunhui Guo, et al.
0

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.

READ FULL TEXT
research
09/23/2019

Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts

Improving the effectiveness and safety of patient care is the ultimate o...
research
11/20/2018

Model and Integrate Medical Resource Availability into Verifiably Correct Executable Medical Guidelines - Technical Report

Improving effectiveness and safety of patient care is an ultimate object...
research
10/25/2016

A Physician Advisory System for Chronic Heart Failure Management Based on Knowledge Patterns

Management of chronic diseases such as heart failure, diabetes, and chro...
research
11/25/2017

Communication and Synchronization of Distributed Medical Models: Design, Development, and Performance Analysis

Model-based development is a widely-used method to describe complex syst...
research
08/02/2017

Towards Semantic Modeling of Contradictions and Disagreements: A Case Study of Medical Guidelines

We introduce a formal distinction between contradictions and disagreemen...
research
07/16/2017

Improving Adherence to Heart Failure Management Guidelines via Abductive Reasoning

Management of chronic diseases such as heart failure (HF) is a major pub...

Please sign up or login with your details

Forgot password? Click here to reset