Paper Info
Title
Mechanized Support for Assurance Case Argumentation.
Abstract
An assurance case provides an argument that certain claims (usually concerning safety or other critical properties) are justified, based on given evidence concerning the context, design, and implementation of a system. An assurance case serves two purposes: reasoning and communication. For the first, the argument in the case should approach the standards of mathematical proof (though it may be grounded on premises-i.e., evidence-that are equivocal); for the second it must assist human stakeholders to grasp the essence of the case, to explore its details, and to challenge it. Because of the scale and complexity of assurance cases, both purposes benefit from mechanized assistance. We propose simple ways in which an assurance case, formalized in a mechanized verification system to support the first purpose, can be adapted to serve the second.
Year
DOI
Venue
2013
10.1007/978-3-319-10061-6_20
Lecture Notes in Artificial Intelligence
Field
DocType
Volume
Argumentation framework,GRASP,Model checking,Software engineering,Computer science,Argumentation theory,Mathematical proof,Artificial intelligence,Verification system,Formal verification
Conference
8417
ISSN
Citations 
PageRank 
0302-9743
8
0.78
References 
Authors
24
1
Name
Order
Citations
PageRank
John Rushby12459235.69