Ett mål med certifiering av medicintekniska produkter är att visa att en viss medicinteknisk produkt uppfyller kraven. De krav som en produkt ska uppfylla beror dock på de medicinska processer i vilka produkten ska användas. Sådana processer kan vara komplicerade och därför kan kritiska krav specificeras felaktigt eller ofullständigt, eller till och med missas helt och hållet. Vi undersöker ett krav härledning tillvägagångssätt som tar som indata en modell av hur produkten används i en viss medicinsk process och ett krav som bör uppfyllas av den processen. Detta tillvägagångssätt försöker åstadkomma ett härlett krav på den medicintekniska produkten som är tillräckligt för att förhindra brott mot processkravet. Vår strategi kombinerar en metod för att generera antaganden för antagande-garanti resonemang med en för gränssnitt syntes för att automatisera härledning av medicintekniska krav. Den föreslagna metoden utför kravet härledning iterativt genom att använda en modell checker och en lärande algoritm. Vi genomförde detta tillvägagångssätt och utvärderade det genom att tillämpa det på två små fallstudier. Våra erfarenheter visade att det föreslagna tillvägagångssättet med framgång kunde tillämpas på abstrakta modeller av delar av verkliga medicinska processer och att de härledda kraven på medicintekniska produkter verkade användbara och förståeliga.
Annat arbete ( REF ) tillämpar kravanalys för att identifiera nya begränsningar som måste uppfyllas av medicintekniska produkter för att undvika brott mot den medicinska processen.
Process-based derivation of requirements for medical devices
{'venue': 'IHI', 'journal': None, 'mag_field_of_study': ['Computer Science']}