Det är möjligt att konstruera ett säkerhetsargument för programvaruaspekterna i ett system för att visa att programvaran är acceptabelt säker att använda. För att vara övertygande är det nödvändigt att motivera att de argument och bevis som läggs fram för programvaran ger tillräcklig säkerhet. I detta dokument överväger vi hur man uttryckligen kan beakta försäkringar när man utvecklar ett säkerhetsargument för programvara. Vi föreslår en ram för att fatta och motivera beslut om de argument och bevis som krävs för att garantera programvarans säkerhet.
Detta tar dock inte uttryckligen hänsyn till förtroendet för säkerhetsargumentet och förtroendet för säkerhetsbeviset REF.
Software safety assurance - what is sufficient?
{'venue': 'ICONS 2009', 'journal': None, 'mag_field_of_study': ['Computer Science']}