Allteftersom programvara blir allt mer allmänt förekommande och komplex i medicintekniska produkter, blir det allt viktigare att försäkra sig om att den fungerar säkert och effektivt. Den kritiska karaktären hos medicintekniska produkter kräver att den programvara som används där är tillförlitlig och fri från fel. Det blir därför absolut nödvändigt att ha en process för att se till att programvaran är korrekt och att den uppfyller alla krav och standarder. Formella metoder har länge föreslagits som ett sätt att utforma och utveckla programvara för medicintekniska produkter. De flesta tillverkare drar sig dock för att använda dessa tekniker och nämner dem som alltför komplexa och tidskrävande. Som ett resultat av detta upptäcks (potentiellt livshotande) fel ofta inte förrän en produkt redan finns på marknaden. I detta dokument presenterar vi en referensmodellbaserad metod för kontroll av programkonformitet. Referensmodeller gör det möjligt att tillämpa formella metoder för kontroll av programkonformitet, och ger en ram för rigorösa tester. För att illustrera tillvägagångssättet utvecklar vi referensmodellen för en Generisk Patientkontrollerad Analgesic Infusion Pump, och förklarar hur den kan användas för att underlätta kontrollen av programkonformitet i en lagstiftningsmiljö.
Arney m.fl. REF presenterar en referensmodell av infusionspumpar för PCA (Patient Control Analgesia) och testar modellen för konstruktions- och säkerhetsegenskaper.
Formal Methods Based Development of a PCA Infusion Pump Reference Model: Generic Infusion Pump (GIP) Project
{'venue': '2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007)', 'journal': '2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007)', 'mag_field_of_study': ['Computer Science']}