Virtual Event
November 17–November 20, 2020
Learn More and Register to Attend This Event

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for KubeCon + CloudNativeCon North America 2020 - Virtual to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

Please note: This schedule is automatically displayed in Eastern Standard Time (UTC–05:00). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date." The schedule is subject to change.
Back To Schedule
Friday, November 20 • 3:10pm - 3:45pm
Kubernetes Operators: Safety First Through Model Checkers - Neven Miculinic, grid.ai

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.

Today's Kubernetes Operators aren't just a fancy toy, but utilities managing critical infrastructure. Many best practices are already applied, increasing their safety: unit/e2e testing, code reviews and post mortem analysis. This talk introduces some more recent tooling for working developers toolbox: model checkers. The likes of TLA+ and alloy have already been used for helping design many real-world systems, from S3 all the way to RTOS (real-time operating system) with massive success. They allow us to design and model our systems in the abstract, state the system facts, assumptions and expected rules to hold, and finally, they analyze our model for inconsistencies or scenarios we haven't thought of - like code review for system design on steroids. This talk introduces model checkers, covers the motivation behind them, and finishes with a short example.

avatar for Neven Miculinic

Neven Miculinic

Software Engineer, grid.ai
Neven’s parents committed a grave mistake, and at the age of 12 introduced him to Pascal and Logo. Since then he has been programming in various languages, from C, C++ to Haskell and Go, took part in algorithm competitions, and finished his Master degree in Computer Science. He... Read More →

Friday November 20, 2020 3:10pm - 3:45pm EST
Intrado Virtual Event Platform