For a repairable k-out-of-n:G system consisting of line-replaceable units, its operational availability depends on component reliability, its redundancy level, and spare parts availability. As a result, it is important to consider redundancy allocation and spare parts provisioning simultaneously...