关于多层次个性化健康状况模型的验证
软件工程
2022-07-26 v1 计算机科学中的逻辑
摘要
本文提出一种基于验证的方法来验证个性化健康状况模型。该模型可识别出可能导致不安全、不可达、不完备及重叠状态的值，否则这些状态会通过接受目标健康状况的可疑行为产生误报，从而危及患者生命。当代验证模型的方法采用各类测试、仿真与模型检测技术来识别此类值及相应漏洞。然而，这些方法既不系统也不完备，因而无法识别出那些在运行时基于来自各类 IoT 医疗设备所接收的传感器或输入数据来估计健康状况的虚假值或漏洞。我们通过验证一个描述三种不同糖尿病健康状况场景的示例多层次模型，展示了该验证方法。
引用
@article{arxiv.2207.11723,
title = {On the Validation of Multi-Level Personalised Health Condition Model},
author = {Najma Taimoor and Semeen Rehman},
journal= {arXiv preprint arXiv:2207.11723},
year = {2022}
}