Ett realistiskt användargränssnitt är noggrant utvecklat för den amerikanska pumpprototypen Food and Drug Administration (FDA) Generic Patient Controlled Analgesia (GPCA). GPCA-pumpprototypen är avsedd som en realistisk arbetsbänk för att testa utvecklingsmetoder och tekniker för att förbättra säkerheten hos sådana anordningar. En modellbaserad metod baserad på användning av formella metoder illustreras och genomförs inom kontrollsystemet Prototype Verification System (PVS). Användargränssnittets beteende specificeras formellt som en körbar PVS-modell. Specifikationen verifieras med PVS-teorin mot relevanta säkerhetskrav som tillhandahålls av FDA för GPCA-pumpen. Samma specifikation översätts automatiskt till körbar kod genom PVS-kodgeneratorn, och därefter utvecklas en prototyp med hög trohet som innehåller den genererade körbara koden. Abstrakt. Ett realistiskt användargränssnitt är noggrant utvecklat för den amerikanska pumpprototypen Food and Drug Administration (FDA) Generic Patient Controlled Analgesia (GPCA). GPCA-pumpprototypen är avsedd som en realistisk arbetsbänk för att testa utvecklingsmetoder och tekniker för att förbättra säkerheten hos sådana anordningar. En modellbaserad metod baserad på användning av formella metoder illustreras och genomförs inom kontrollsystemet Prototype Verification System (PVS). Användargränssnittets beteende specificeras formellt som en körbar PVS-modell. Specifikationen verifieras med PVS-teorin mot relevanta säkerhetskrav som tillhandahålls av FDA för GPCA-pumpen. Samma specifikation översätts automatiskt till körbar kod genom PVS-kodgeneratorn, och därefter utvecklas en prototyp med hög trohet som innehåller den genererade körbara koden.
Masci m.fl. REF presenterade den modellbaserade utvecklingen av en infusionspumps användargränssnittsbeteende i Prototype Verification System (PVS).
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS
{'venue': 'SAFECOMP', 'journal': None, 'mag_field_of_study': ['Computer Science']}