Network validation with Batfish – Network Programmability stream 44 смотреть онлайн

The recording of the network programmability stream which occurred on 2019/03/24

On this stream I was exploring the tool I heard about but never tried before called Batfish. Batfish is a network validation tool, which emulates devices control-place based on the configurations of multiple NOS, builds a model of the whole network, including routing, policies and flows and allows you to validate the change and determine potential side-effects. Also it allows you to understand traffic flows across your whole network and I think it is a perfect tool to use as part of continuous integration (CI), but also see use-cases outside of CI (like understanding the behaviour of the network during failover)

Timecode:
0:00 – Introduction
1:30 – Top of mind this week
9:30 – My project at work: telemetry and automation system
16:30 – What I know about Batfish, my first impressions about the installation
26:00 – Preparing environment to run Batfish tutorials
35:10 – Getting started with Batfish
1:14:20 – Validating configuration settings
1:25:45 – Introduction to route computation and analysis
1:32:20 – Analyzing ACLs and firewall rules
1:53:40 – Provably safe ACL and firewall rule changes
2:03:18 – Introduction to forwarding analysis
2:30:20 – Introduction to forwarding change validation
2:42:35 – Analyzing the impact of failures + Chaos Monkey testing
2:57:05 – Conclusions, summary and wrap-up

Resources:
Batfish – https://www.batfish.org/
Batfish tutorials – https://github.com/batfish/pybatfish/tree/master/jupyter_notebooks
Article about Batfish in Russian – https://habr.com/ru/post/441532/


Please note that this content is stream-first and it is slow-paced by design. I recommend increasing playback speed in the player settings.

Don't miss my upcoming streams at https://twitch.tv/dmfigol
The code is on my GitHub: https://github.com/dmfigol/network-programmability-stream

Twitter: https://twitter.com/dmfigol
Blog: https://dmfigol.me

Background music (royalty-free):
https://www.pretzel.rocks/