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
Kubernetes EssentialsYouTube Introduction à Kubernetes
Udemy Kubernetes Operators Intermediate
IBM via Cognitive Class Kubernetes Operators Advanced
IBM via Cognitive Class Everything You Need to Know About Kubebuilder - Write Operators Like a Pro
Cloud Native Skunkworks via YouTube