Browsing by Subject "S-TaLiRo"
Now showing items 1-1 of 1
-
Improving Robustness Falsification for Medical Device Software
(Trinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Science, 2021)The artificial Pancreas(AP) is a closed-loop system based on the combination of a continuous glucose monitor, a computer-controlled algorithm, and an insulin pump (Blauw et al., 2016). Insulin pumps are designed for ...