Abstract-I moderna sjukhus, patienter behandlas med hjälp av ett brett utbud av medicintekniska produkter som alltmer interagerar med varandra över nätverket, vilket ger ett perfekt exempel på ett cyberfysiskt system. Vi studerar säkerheten hos ett medicintekniskt system för fysiologisk sluten kontroll av läkemedelsinfusion. Det viktigaste bidraget från dokumentet är verifieringsmetoden för säkerhetsegenskaperna hos slutna medicintekniska system. Vi visar, med hjälp av en fallstudie, att metoden kan tillämpas på ett system av klinisk betydelse. Vår metod kombinerar simuleringsbaserad analys av en detaljerad modell av systemet som innehåller kontinuerlig patientdynamik med modellkontroll av en mer abstrakt tidsinställd automatiserad modell. Vi visar att relationen mellan de två modellerna bevarar den avgörande aspekten av timing beteende som garanterar konservativitet i säkerhetsanalysen. Vi beskriver även systemdesign som kan ge säkerhet i öppna kretslopp under nätfel. Index Terms-Closed-loop medicinska system, hög förtroende medicinska system, modellbaserad utveckling, säkerhetsanalys.
Pajic m.fl. kombinerad simuleringsbaserad analys och modellkontroll för att garantera säkerheten för slutna medicinska system REF.
Model-Driven Safety Analysis of Closed-Loop Medical Systems
{'venue': 'IEEE Transactions on Industrial Informatics', 'journal': 'IEEE Transactions on Industrial Informatics', 'mag_field_of_study': ['Computer Science', 'Medicine']}