Confidence in Assurance 2.0 Cases
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912526237696000 |
|---|---|
| author | Bloomfield, Robin Rushby, John |
| author_facet | Bloomfield, Robin Rushby, John |
| contents | An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how confidence can be assessed in the rigorous approach we call Assurance 2.0.
Our goal is indefeasible confidence and we approach it from four different perspectives: logical soundness, probabilistic assessment, dialectical examination, and residual risks. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_10665 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Confidence in Assurance 2.0 Cases Bloomfield, Robin Rushby, John Software Engineering An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how confidence can be assessed in the rigorous approach we call Assurance 2.0. Our goal is indefeasible confidence and we approach it from four different perspectives: logical soundness, probabilistic assessment, dialectical examination, and residual risks. |
| title | Confidence in Assurance 2.0 Cases |
| topic | Software Engineering |
| url | https://arxiv.org/abs/2409.10665 |