Loading...
Please wait, while we are loading the content...
Similar Documents
Assurance cases for proofs as evidence
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Chaki, Sagar Gurfinkel, Arie Wallnau, Kurt Weinstock Sr., Charles |
| Copyright Year | 2009 |
| Description | Proof-carrying code (PCC) provides a 'gold standard' for establishing formal and objective confidence in program behavior. However, in order to extend the benefits of PCC - and other formal certification techniques - to realistic systems, we must establish the correspondence of a mathematical proof of a program's semantics and its actual behavior. In this paper, we argue that assurance cases are an effective means of establishing such a correspondence. To this end, we present an assurance case pattern for arguing that a proof is free from various proof hazards. We also instantiate this pattern for a proof-based mechanism to provide evidence about a generic medical device software.|||||||||||| |
| File Size | 368683 |
| Page Count | 6 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20150004720 |
| Archival Resource Key | ark:/13960/t0rr6tn8s |
| Language | English |
| Publisher Date | 2009-10-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Semantics Theorem Proving Proving Mathematical Logic Hazards Certification Computer Programs Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
