Abstract-Den ökande komplexiteten i programvara i implanterbara medicintekniska produkter som hjärt pacemakers och defibrillators står för över 40 % av enheten återkallar. Provningen är fortfarande det viktigaste kontrollmedlet i systemet för certifiering av medicintekniska produkter. Traditionella metoder för testning av programvara, där testerna genereras oberoende av den operativa miljön, är inte effektiva eftersom anordningen måste testas med hänsyn till patientens tillstånd och hjärtats nuvarande tillstånd. Det är nödvändigt att testsystemet observerar systemets tillstånd och villkorligt genererar nästa indata för att föra testets syfte framåt. För detta ändamål anges en uppsättning allmänna och patientspecifika tidskrav för det slutna hjärt- och pacemakersystemet. Baserat på dessa krav beskriver vi en sluten testmiljö mellan en tidsinställd automatiserad hjärtmodell och en pacemaker. Detta möjliggör interaktiv och fysiologiskt relevant modellbaserad testgenerering för grundläggande pacemaker-enheter såsom bibehållen hjärtfrekvens och synkronisering mellan förmak och ventrikel. Vi demonstrerar också flexibiliteten och effektiviteten i testmiljön för mer komplexa vanliga tidsavvikelser som återinträdeskretsar, pacemaker mode switch drift och pacemaker-medierad takykardi. Detta system är ett steg mot en testningsmetod för medicinska cyberfysiska system med patienten-in-the-loop.
Jiang m.fl. REF föreslog en uppsättning allmänna och patientspecifika tidskrav för det slutna hjärt- och pacemakersystemet.
Model-Based Closed-Loop Testing of Implantable Pacemakers
{'venue': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'journal': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'mag_field_of_study': ['Computer Science']}