Is it possible to have a AC500 HA system with network redundancy as well?
AC500 HA library is developed to provide solution for Redudancy systems. These libraries are availabe as part of Automation builder (Free of cost). You can go through the example programs , online help file and Example program doccumentation for more detials .
Based on your requirements you need to plan you HA system for different level of redudency. Please find attached for your reference and the same wth more details can be found in online help HA system technology.