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?