Используется связка CoroSync+PaceMaker, управляется через утилиту pcs там же можно свойства смотреть. Эта штука следит не только за интерфейсами, но и за сервисами. Может даже рестартовать сервис который на контроле, но не знаю сделано ли это в К4. Во всех продуктах КБ используют эту связку,К4, TLS и WAF