代谢操作系统中的安全性、可扩展性与冗余性
密码学与安全
2024-01-04 v1 操作系统
摘要
1 型糖尿病(T1D)患者丧失了自然产生胰岛素的能力。作为补偿,他们需注射合成胰岛素。一种常见的胰岛素注射方式是通过自动胰岛素递送系统,该系统利用传感器监测患者的代谢状态,并通过胰岛素泵装置调整胰岛素以适应需求。在本文中,我们提出了代谢操作系统(Metabolic Operating System),这是一种从头设计、基于安全首要原则的新型自动胰岛素递送系统。从架构角度看,我们应用分离原则以简化核心系统,并将非关键功能与核心闭环算法隔离。从算法角度看,我们评估了胰岛素技术的趋势,并结合现有技术 formulate 了一种简单而有效的算法。从安全角度看,我们构建了多层冗余机制,以确保使用该系统的人员保持安全。从根本上说,本文是一篇关于构建和运行自动胰岛素递送系统的现实经验论文。我们报告了基于与一位使用该系统的个体合作经验所进行的设计迭代。我们的评估表明,基于安全首要原则从头构建的自动胰岛素递送系统仍能有效管理 T1D。我们的源代码是开源的,可在 GitHub 上获取(链接省略)。
引用
@article{arxiv.2401.01357,
title = {Security, extensibility, and redundancy in the Metabolic Operating System},
author = {Samuel T. King},
journal= {arXiv preprint arXiv:2401.01357},
year = {2024}
}