Confidence in dynamic assurance cases
| dc.contributor.author | Diemert, Simon | |
| dc.contributor.supervisor | Weber, Jens | |
| dc.date.accessioned | 2026-05-06T21:25:13Z | |
| dc.date.available | 2026-05-06T21:25:13Z | |
| dc.date.issued | 2026 | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Doctor of Philosophy PhD | |
| dc.description.abstract | Assuring safety- and security-critical systems is a necessary activity, both prior to deployment (at “design-time”) and during system operation (at “run-time”). The need for assurance is heightened as these systems increasingly depend on artificial intelligence and adaptation strategies to handle uncertainty in their operating environments. Assurance Cases (ACs) that incorporate structured arguments and supporting evidence are an important tool for establishing trust in critical systems. Modern ACs are not static documents: they are increasingly viewed as dynamic models of “through-life” assurance and are used for decision-making at both design- and run-time. These Dynamic Assurance Cases (DACs) incorporate dynamic sources of evidence and “live” data from development activities or operations (e.g., safety performance indicators). However, a question arises during their use: “are we confident in the claim(s) made by this version of the case?” While several methods exist to assess confidence in ACs, there is limited knowledge about their adoption by practitioners. Additionally, there are several limitations of quantitative methods, including: 1) an inability to consider the impact of dynamic aspects on confidence; 2) an inability to account for dialectic reasoning (i.e., “de-featers”); and 3) challenges related to subjectivity, interpretability, precision, and modelling nuanced reasoning. The overall objective of this work is to develop a new confidence assessment method that is grounded in the needs of practitioners and addresses the limitations mentioned above. Towards this objective, the main contribution of this dissertation is a new mixed (qualitative and quantitative) method for AC confidence assessment called Certus. With this method, confidence in an AC is modelled using vague, but linguistically meaningful, expressions (e.g., “I have very high belief that this claim is true”). A domain specific language is used to describe the propagation of belief through a structured argument to produce an overall belief valuation for the AC. Certus supports dialectic reasoning and can condition belief assessments on the availability of evidence and the value of performance indicators. The use of the language is guided by a methodology that integrates with the existing practices for developing (D)ACs. A denotational semantics for the language provides a formal basis for assessment. The language and method are evaluated through a series of analyses and a case study to demonstrate that they possess properties related to trustworthiness, including: propagation stability, sensitivity, expressivity, scalability, and applicability to DACs. | |
| dc.description.scholarlevel | Graduate | |
| dc.identifier.bibliographicCitation | Diemert, S., Shortt, C., & Weber, J. H. (2025). How do practitioners gain confidence in assurance cases? Information and Software Technology, 185, 107767. https://doi.org/10.1016/j.infsof.2025.107767 | |
| dc.identifier.bibliographicCitation | Diemert, S., Goodenough, J., Joyce, J., & Weinstock, C. (2023). Incremental assurance through eliminative argumentation. Journal of System Safety, 58(1), 7–15. https://doi.org/10.56094/jss.v58i1.215 | |
| dc.identifier.bibliographicCitation | Diemert, S., Millet, L., Joyce, J., & Weber, J. H. (2024). Including defeaters in quantitative confidence assessments for assurance cases. In Lecture notes in computer science (pp. 239–250). https://doi.org/10.1007/978-3-031-68738-9_18 | |
| dc.identifier.bibliographicCitation | Diemert, S., & Weber, J. H. (2025). CERTUS: a domain specific language for confidence assessment in assurance cases. In Lecture notes in computer science (pp. 211–225). https://doi.org/10.1007/978-3-032-02018-5_16 | |
| dc.identifier.uri | https://hdl.handle.net/1828/23808 | |
| dc.language | English | eng |
| dc.language.iso | en | |
| dc.rights | Available to the World Wide Web | |
| dc.subject | cyberphysical systems | |
| dc.subject | safety | |
| dc.subject | security | |
| dc.subject | assurance | |
| dc.subject | assurance case | |
| dc.subject | confidence assessment | |
| dc.subject | fuzzy sets | |
| dc.subject | self-adaptive systems | |
| dc.title | Confidence in dynamic assurance cases | |
| dc.type | Thesis |