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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/IoTDI.2018.00013 | 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI) |
Keywords | Field | DocType |
Internet of Medical Things,Data Authenticity Monitoring,Type 1 Diabetes,Signal Temporal Logic | Signal temporal logic,Monitoring system,Information retrieval,Computer security,Computer science,Diabetes management,Data authenticity,Clinical study,Glycemic,The Internet | Conference |
ISBN | Citations | PageRank |
978-1-5386-6313-4 | 0 | 0.34 |
References | Authors | |
5 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
William Young | 1 | 0 | 0.34 |
John Corbett | 2 | 0 | 0.34 |
Matthew S. Gerber | 3 | 1 | 1.70 |
Stephen D. Patek | 4 | 131 | 17.32 |
Feng Lu | 5 | 139 | 22.18 |