This post can help you to configure dedicated management interface in a HA environment and a fortimanager