GlucOS: Security, correctness, and simplicity for automated insulin delivery

本文讨论了1型糖尿病（T1D）的治疗方法。T1D是一种代谢紊乱疾病，患者胰腺停止产生胰岛素，需要注射人工合成胰岛素。自动胰岛素输送系统能够自动注射胰岛素，但过多或过少的注射都可能导致患者死亡。本文介绍了一种新的可靠的自动胰岛素输送系统GlucOS。该系统采用分离原则使其实现简单，采用形式化方法证明了系统的关键部分的正确性，并设计了新颖的安全机制和策略，以抵御恶意组件和攻击。实验结果表明，GlucOS能够安全地管理T1D，并且在虚拟人体模拟中，该系统的安全和安全机制使得机器学习能够提高代谢健康的核心T1D指标。GlucOS是开源的，代码可在GitHub上获得。

设计一种新的可靠的自动胰岛素注射系统GlucOS，解决糖尿病患者注射胰岛素的安全问题。

采用分离原则，使用形式化方法证明系统的正确性，设计新颖的安全机制和策略来抵御恶意组件和攻击。

在一个患者身上进行了为期6个月的实际测试，数据表明该系统可以安全地管理其T1D。在21个虚拟人类模拟中运行系统并展示了安全和安全机制使得机器学习可以将其核心T1D指标的代谢健康水平提高了平均4.3％。开源代码可在GitHub上获得。

最近的相关研究包括：1. A review of closed-loop algorithms for glycemic control in type 1 diabetes；2. Artificial pancreas systems and algorithms: a review of recent advances；3. A review of control algorithms for automated insulin delivery in type 1 diabetes.