Firewall Redundancy
Components

pfsync
State synchronisation
CARP
Address failover