Eliminative Argumentation for Arguing System Safety – A Practitioner’s Experience
Using the power of “doubt” to overcome confirmation bias and harden a safety assurance
case.
Incremental Assurance Through Eliminative Argumentation
How can an assurance case represent how confidence in an argument changes over time?
Challenging Autonomy with Combinatorial Testing
With trillions upon trillions of possibilities, how could you identify a set of test cases for an autonomous system that is both manageable and adequate?
An Assurance Case for the CERN Large Hadron Collider
Why do CERN experts trust the Large Hadron Collider to keep control of high energy sub-atomic particles accelerated to 99.9999991% of the speed of light.
Safety Risk Assessment for AI/ML-based Systems
Evaluating the intricacy of an AI/ML function in terms of entropy and non-determinism.
Utilizing an Assurance Case Argument to Drive Development
How can a safety case transcend being merely a final step in the safety process?
