上記の案に基本的に賛成です。若干の修正案です。
「アプリケーションのリソース『が』異なるマシンに分散することを保証でき、ハードウェア故障が発生しても高可用性を達成することができます。」