Formal Methods
Past Presentations
Properties of Chaos
Chaos Engineering makes up an essential component of our validation methods used in developing resilient, safety-critical autonomous vehicle software systems. There's an adage in some functional-safety circles that goes something like, "The risk and danger live in the interfaces." Which, among...
Nathan Aschbacher
Interviews
Nathan Aschbacher
Properties of Chaos
Why a talk called Properties of Chaos?
Something I noticed consistently at QCon San Francisco and at both the Chaos Community Days in Minneapolis and San Francisco was that many people interested in or even practicing chaos engineering are still rooted in a world where they're mostly worried about whether or not the system is simply “up”. Largely answering an important...
Read Full Interview