论文标题
关于多层次个性化健康状况模型的验证
On the Validation of Multi-Level Personalised Health Condition Model
论文作者
论文摘要
本文提出了一种基于验证的方法，以验证个性化健康状况的模型。该模型确定了可能导致不安全，不可涉及的，不可避免和重叠的状态，这些价值通过接受目标健康状况的可疑行为而产生错误的警报来威胁患者的生命。验证模型的当代方法采用各种测试，模拟和模型检查技术来识别此类值和相应的漏洞。但是，这些方法既不是系统的也不是详尽无遗的，因此无法根据从各种物联网医疗设备收到的传感器或输入数据估算运行时估算健康状况的那些虚假值或漏洞。我们通过验证我们的示例多级模型来证明验证方法，该模型描述了糖尿病健康状况的三种不同情况。
This paper presents a verification-based methodology to validate the model of personalized health conditions. The model identifies the values that may result in unsafe, un-reachable, in-exhaustive, and overlapping states that otherwise threaten patients' life by producing false alarms by accepting suspicious behaviour of the target health condition. Contemporary approaches to validating a model employ various testing, simulation and model checking techniques to recognise such values and corresponding vulnerabilities. However, these approaches are neither systematic nor exhaustive and thus fail to identify those false values or vulnerabilities that estimate the health condition at run-time based on the sensor or input data received from various IoT medical devices. We have demonstrated the validation methodology by validating our example multi-level model that describes three different scenarios of Diabetes health conditions.
