DAMON:糖尿病管理的数据真实性监测系统

2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI) Pub Date : 2018-04-17 DOI:10.1109/IoTDI.2018.00013

W. Young, J. Corbett, M. Gerber, S. Patek, Lu Feng

{"title":"DAMON:糖尿病管理的数据真实性监测系统","authors":"W. Young, J. Corbett, M. Gerber, S. Patek, Lu Feng","doi":"10.1109/IoTDI.2018.00013","DOIUrl":null,"url":null,"abstract":"We present DAMON, a data authenticity monitoring system for use in an Internet of Medical Things (IoMT) system assembled to treat Type 1 Diabetes (T1D). We describe the use of Signal Temporal Logic (STL) for specifying and monitoring a range of system properties relevant to T1D treatment, including constraints on glycemic variability and insulin delivery. We perform retrospective analysis of posterior probabilities of multiple meal hypotheses to detect suspicious meal events. Using a corpus of clinical study data, we provide experimental results demonstrating the detection of system events indicative of compromised data authenticity.","PeriodicalId":149725,"journal":{"name":"2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI)","volume":"225 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"DAMON: A Data Authenticity Monitoring System for Diabetes Management\",\"authors\":\"W. Young, J. Corbett, M. Gerber, S. Patek, Lu Feng\",\"doi\":\"10.1109/IoTDI.2018.00013\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present DAMON, a data authenticity monitoring system for use in an Internet of Medical Things (IoMT) system assembled to treat Type 1 Diabetes (T1D). We describe the use of Signal Temporal Logic (STL) for specifying and monitoring a range of system properties relevant to T1D treatment, including constraints on glycemic variability and insulin delivery. We perform retrospective analysis of posterior probabilities of multiple meal hypotheses to detect suspicious meal events. Using a corpus of clinical study data, we provide experimental results demonstrating the detection of system events indicative of compromised data authenticity.\",\"PeriodicalId\":149725,\"journal\":{\"name\":\"2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI)\",\"volume\":\"225 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-04-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IoTDI.2018.00013\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IoTDI.2018.00013","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

我们提出了DAMON，一个用于医疗物联网(IoMT)系统的数据真实性监测系统，用于治疗1型糖尿病(T1D)。我们描述了使用信号时间逻辑(STL)来指定和监测与T1D治疗相关的一系列系统特性，包括对血糖变异性和胰岛素输送的限制。我们对多个用餐假设的后验概率进行回顾性分析，以检测可疑用餐事件。使用临床研究数据的语料库，我们提供了实验结果，证明检测系统事件表明数据真实性受损。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

DAMON: A Data Authenticity Monitoring System for Diabetes Management

We present DAMON, a data authenticity monitoring system for use in an Internet of Medical Things (IoMT) system assembled to treat Type 1 Diabetes (T1D). We describe the use of Signal Temporal Logic (STL) for specifying and monitoring a range of system properties relevant to T1D treatment, including constraints on glycemic variability and insulin delivery. We perform retrospective analysis of posterior probabilities of multiple meal hypotheses to detect suspicious meal events. Using a corpus of clinical study data, we provide experimental results demonstrating the detection of system events indicative of compromised data authenticity.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI)

自引率

0.00%

发文量