Show simple item record

dc.contributor.advisorButterfield, Andrew
dc.contributor.authorQuan, Wenji
dc.date.accessioned2021-10-28T07:50:42Z
dc.date.available2021-10-28T07:50:42Z
dc.date.issued2021en
dc.date.submitted2021
dc.identifier.citationQuan, Wenji, Improving Robustness Falsification for Medical Device Software, Trinity College Dublin.School of Computer Science & Statistics, 2021en
dc.identifier.otherYen
dc.identifier.urihttp://hdl.handle.net/2262/97456
dc.descriptionAPPROVEDen
dc.description.abstractThe 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 continuous delivery of insulin and mimic the way of human pancreas works by delivering small doses of insulin continuously (the basal dose). The device is also used to deliver variable amounts of insulin when a meal is taken (bolus dose). However, the errors in insulin pump software can bring risks to the patients including high blood glucose levels and dangerously low glucose levels (Zhang et al., 2011). In this research, we use Hovorka artificial pancreas mathematical model, which is designed a basic insulin-glucose regulatory system (Artificial Pancreas) in a diabetic patient (Cobelli et al., 1982 Dalla Man et al., 2007 Patek et al., 2009). Patients with glucose over 9 for a long time can cause damage to human health including the eye, kidney, heart, and blood vessels, but glucose under 4.5 may lead to trembling or weak, under 2.5 can lead to coma or even death. We see that glucose under 4.5 is more dangerous than over 9. The research problem is how can we make the software more sensitive to more dangerous risks? In this dissertation, we will use S-TaLiRo (Annpureddy et al., 2011) robustness tool which utilizes optimization-based falsification a method of search-based testing that adopts stochastic optimization. With this falsification approach, the robustness falsification problem is turned into an optimization problem (Fainekos and Pappas, 2006a) (see figure 1.1). Since the lower glucose is dangerous than higher glucose, we are trying to enhance the robustness when the glucose is under 4.5. Let s say the scaling would be used to increase the robustness measure for the glucose is under 4.5, and when the glucose is 4, the original robustness is 4-4.5 = -0.5, after twice enhancing the original robustness, scaled robustness value should be -1.0. We explored 4 different approaches to scale robustness, including scaling during optimize search, simple scaling, discontinuous scaling, and continuous scaling.en
dc.language.isoenen
dc.publisherTrinity College Dublin. School of Computer Science & Statistics. Discipline of Computer Scienceen
dc.rightsYen
dc.subjectArtificial pancreasen
dc.subjectscaled robustnessen
dc.subjectS-TaLiRoen
dc.subjectfalsificationen
dc.titleImproving Robustness Falsification for Medical Device Softwareen
dc.typeThesisen
dc.type.supercollectionthesis_dissertationsen
dc.type.supercollectionrefereed_publicationsen
dc.type.qualificationlevelMSc by Researchen
dc.identifier.peoplefinderurlhttps://tcdlocalportal.tcd.ie/pls/EnterApex/f?p=800:71:0::::P71_USERNAME:QUANWen
dc.identifier.rssinternalid234338en
dc.rights.ecaccessrightsopenAccess
dc.contributor.sponsorSFI stipenden
dc.contributor.sponsorSFIen


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record