Formal Methods

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 but still fairly simple question, "Is my service still available?".

Where do you use Chaos Engineering in the development of self-driving cars?

PolySync’s products all exist in the autonomous vehicle stack below the autonomy applications that do things like object detection, path planning, etc. The safety-critical runtime we’re developing, Helios, for production Level 4 and Level 5 vehicles is essentially infrastructural as well.