I detta dokument införs ett mönster för säkerhetsfall för att underlätta presentationen av ett korrekt argument för ett system som genomförs med hjälp av formella metoder i utvecklingsprocessen. Vi utnyttjade vår erfarenhet av att bygga ett säkerhetsfall för infusionspumpen Patient Controlled Analgesic (PCA) för att definiera detta säkerhetsfallsmönster. Det föreslagna mönstret är lämpligt att direkt koppla in sig i de säkerhetsfall som konstrueras för system som utvecklas genom användning av modellbaserade metoder. Nyckelord säkerhetsfall, mönster för säkerhetsfall, modellbaserad utvecklingsmetod, PCA infusionspump Kommentarer Sammanfattning. I detta dokument införs ett mönster för säkerhetsfall för att underlätta presentationen av ett korrekt argument för ett system som genomförs med hjälp av formella metoder i utvecklingsprocessen. Vi utnyttjade vår erfarenhet av att bygga ett säkerhetsfall för infusionspumpen Patient Controlled Analgesic (PCA) för att definiera detta säkerhetsfallsmönster. Det föreslagna mönstret är lämpligt att direkt koppla in sig i de säkerhetsfall som konstrueras för system som utvecklas genom användning av modellbaserade metoder.
Författarna till REF beskriver ett garantiargument för system som utvecklats med hjälp av en modellbaserad utvecklingsprocess.
A safety case pattern for model-based development approach
{'venue': 'NASA Formal Methods', 'journal': None, 'mag_field_of_study': ['Computer Science']}