Kubernetes Operators - Safety First Through Model Checkers
Offered By: CNCF [Cloud Native Computing Foundation] via YouTube
Course Description
Overview
Explore the critical role of model checkers in enhancing the safety and reliability of Kubernetes Operators in this 24-minute conference talk from KubeCon + CloudNativeCon Europe 2021. Delve into the world of advanced tooling for developers, focusing on model checkers like TLA+ and Alloy, which have been successfully implemented in designing real-world systems from S3 to RTOS. Learn how these tools enable abstract system modeling, fact and assumption stating, and rule verification, effectively serving as a supercharged code review for system design. Gain insights into the motivation behind model checkers and witness a practical example of their application in Kubernetes Operator development.
Syllabus
Kubernetes Operators: Safety First Through Model Checkers - Neven Miculinic, grid.ai
Taught by
CNCF [Cloud Native Computing Foundation]
Related Courses
Building Confidence in Concurrent Code with a Model CheckerNDC Conferences via YouTube Chat with Hillel Wayne about TLA+
Strange Loop Conference via YouTube Turning an Incident Report into a Design Issue with TLA+
USENIX via YouTube Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube Designing Distributed Systems with TLA+
GOTO Conferences via YouTube