In designing a subsystem for a spacecraft, the design engineer is often faced with a number of options ranging from planning an inexpensive subsystem with low reliability to selecting a highly reliable system that would cost much more. We minimize the total of the cost of the subsytem and the costs that would occur if the subsystem fails. We choose the subsystem with the lowest total. A k-out-of-n:G subsystem has n modules, of which k are required to be good for the subsystem to be good. We examine two models to illustrate the principles of the k-out-of-n:G subsystem designs. For the first model, the following assumptions are necessary: the probability of failure of any module in the system is not affected by the failure of any other module; and each of the modules has the same probabillity of success. For the second model we are also free to choose k in our subsystem.