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

arXiv:2406.18262v1 Announce Type: new
Abstract: Type 1 Diabetes (T1D) is a metabolic disorder where an individual's pancreas stops producing insulin. To compensate, they inject synthetic insulin. Computer systems, called automated insulin delivery systems, exist that inject insulin automatically. However, insulin is a dangerous hormone, where too much insulin can kill people in a matter of hours and too little insulin can kill people in a matter of days.
In this paper, we take on the challenge of building a new …

arxiv automated called can computer correctness cs.cr delivery diabetes inject kill people producing security simplicity synthetic systems