Core Concepts
While various methods for assessing confidence in assurance cases (ACs) exist, a gap persists between these methods and the needs and practices of practitioners, who primarily rely on qualitative approaches like peer reviews and dialectic argumentation.
Stats
19 practitioners were interviewed for the study.
Participants had an average of 23 years of general professional experience and 16 years of systems assurance experience.
The automotive industry (including autonomous vehicles) was the most represented industry among participants (47%).
All participants (100%) reported using some form of independent or peer review to assess confidence in ACs.
A majority of participants (63%) described experiences using dialectic arguments ("defeaters") to challenge positive arguments in ACs.
Just under half of the participants (47%) indicated using checklists for confidence assessment.
Only two participants (11%) reported using a quantitative method for confidence assessment in a real-world system.
Quotes
"Initially, it [the motivation for preparing an AC] was purely that the standard requires it. . . . it was really just: it’s a requirement of the standard that we were working to at the time and therefore we should put one together. Since then, of course, I have realized that it’s [preparing an AC] much more important than that."
". . . there was lots of extensive documentation about, various safety aspects of the system but then they weren’t particularly easy to navigate by themselves, so the assurance case effectively served as a way to quickly structure a lot of that information . . . where the role that each piece of evidence instead of just, you know, being spread out over hundreds of pages of documents, but so that was logically connected together to an argument"
". . . it’s not like you, you know, you put a bow on the assurance case and say, ‘we’re done’. You know, you’re constantly having to go back and revisit it. So, it’s like continuous process. It’s a live [artifact]”.
"having, you know, a big open discussion between several reviewers and the authors of the case is, for me, is the best way to [gain] qualitative confidence."
". . . this was the big eye opener. We had created a number of safety cases for each release of our product . . . and for the first time, we used ‘eliminative induction’, ‘doubting’, or whatever. And it was remarkable. We discovered something like 25 problems that we had not seen previously. Although we had been producing safety cases. We have not seen these particular problems. Some of those problems we could immediately fix . . . something like 12 or so of them were problems that could not be easily fixed.”