Abstract-En del av att visa att en produkt är acceptabelt säker, ofta krävs enligt lagstadgade standarder, är att visa att den uppfyller en uppsättning krav som är kända för att minska faror. Detta dokument handlar om hur man kan visa att en programvara för användargränssnitt är förenlig med användningsrelaterade säkerhetskrav. En metodik presenteras baserad på användningen av formella metoder teknik för att ge vägledning till utvecklare om att ta itu med tre viktiga verifieringsutmaningar: 1) hur man validerar en modell, och visar att det är en trogen representation av enheten; 2) hur man formaliserar krav som ges på naturligt språk, och visa fördelarna med formaliseringsprocessen; och 3) hur man visar krav på en modell med hjälp av lättillgängliga formella verifieringsverktyg. En modell av en kommersiell produkt används i hela pappret för att demonstrera metoden. En representativ uppsättning krav beaktas. De är baserade på US Food and Drug Administration (FDA) utkast till dokumentation för programmerbara medicintekniska produkter, och på bästa praxis i användargränssnitt design illustreras i relevanta internationella standarder. Metoden syftar till att visa hur man uppnår FDA:s agenda att använda formella metoder för att stödja godkännandeprocessen för medicintekniska produkter.
I synnerhet fokuserar Ref på problemet med hur man kan visa att en programvarudesign uppfyller säkerhetskraven (t.ex. vissa FDA-riktlinjer).
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices