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?

Security Assurance Argumentation

Utilizing reusable patterns based on NIST 800-53 controls as foundational elements for constructing security assurance arguments.

Practical Uses of Formal Methods in Development of Airborne Software

A simple demonstration of formal (mathematical) verification directly motivated by experience with a real-world system.

Assurance Case Development as Data

Could AI learn how to guide a safety engineer in the development of a safety case?

Bridging the Gap Between ISO 26262 and Machine Learning

Helping automakers and suppliers overcome sleepless nights trying to make sense of how the use of ML can be reconciled with the highly conservative principles of functional safety.