Abstract- Increasingly, licensiering och säkerhet regleringsorgan kräver leverantörer av mjukvaruintensiva, säkerhetskritiska system för att ge ett uttryckligt säkerhetsfall för programvara - en strukturerad uppsättning argument baserade på objektiva bevis för att visa att programvaruelementen i ett system är acceptabelt säkra. Befintlig forskning om säkerhetsfall har främst fokuserat på hur man bygger argumenten i ett säkerhetsfall baserat på tillgängliga bevis, men få har gjorts för att exakt beskriva vad dessa bevis bör vara. Som ett resultat, systemleverantörer lämnas praktiskt taget ingen vägledning om vilka bevis att samla in under mjukvaruutveckling. Detta har lett till att leverantörerna måste få tillbaka de relevanta bevisen efter detta faktum - en ytterst kostsam och ibland opraktisk uppgift. Även om standarder som IEC 61508 - som allmänt betraktas som den bästa tillgängliga generiska standarden för hantering av funktionssäkerhet i programvara - ger viss vägledning för insamling av relevant säkerhets- och certifieringsinformation, är denna vägledning mestadels textmässig, inte uttryckt i en exakt och strukturerad form, och är inte lätt att specialisera sig på kontextspecifika behov. För att ta itu med dessa frågor presenterar vi en konceptuell modell för att karakterisera bevisen för att argumentera om programvarusäkerhet. Vår modell fångar både informationskraven för att visa överensstämmelse med IEC 61508 och de spårbarhetslänkar som krävs för att skapa en sömlös beviskedja. Vi beskriver vidare hur vår generiska modell kan specialiseras utifrån behoven i ett visst sammanhang, och diskuterar några viktiga sätt på vilka vår modell kan underlätta programvarucertifiering.
I REF utvecklade författarna en konceptuell modell, baserad på IEC 61508-standarden, för att karakterisera den kedja av säkerhetsbevis som ligger till grund för säkerhetsargument om programvara.
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard
{'venue': '2010 Third International Conference on Software Testing, Verification and Validation', 'journal': '2010 Third International Conference on Software Testing, Verification and Validation', 'mag_field_of_study': ['Computer Science']}