Automated Configuration Design and Analysis for Service
High-Availability