We analyze a redundant system (k-out-of-N) with multiple parts and spares.
We jointly optimize the redundancy level and the spare part inventories.
We develop an exact method and an approximation to evaluate the system availability.
Adding spare parts and reducing the redundancy level cuts cost by 50% in a case study.
The availability is not very sensitive to the shape of the failure time distribution.