A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
[chapter]
2015
Lecture Notes in Computer Science
An insulin infusion pump (IIP) is a critical software-intensive medical device that infuses insulin satisfying patient needs under safety and timing constraints that are appropriate for the treatment of diabetes. This device is used by millions of people around the world. The USA Food and Drug Administration (FDA) has reported several recalls in which IIP failures were responsible for a large number of serious illnesses and deaths. The failures responsible for this harm to people who are
doi:10.1007/978-3-319-21070-4_39
fatcat:yo2gbbw4jrdebdlrhagrcgkf4a