В статье "Failover Firewalls with OpenBSD and CARP" рассказывается как на основе OpenBSD создать отказоустойчивый файрвол с использованием CARP.