It is necessary to have the precise definition of available performance of high availability systems that can represent the availability and performability of the systems altogether. However, the difference between numeric scales of availability and performance metrics such as waiting time makes quantitative evaluation difficult. A number of previous studies on availability do not include a performance metric in their availability modeling. In this paper, we propose a new availability model for (n,k)-way cluster systems which compose of n primary servers and k backup servers and compute the redundancy levels for the systems to satisfy both the requirements of availability and waiting time performance.