There are many problems encountered in taking a mechanized mathematical/logic model from the concept and “toy” problem stage to the production capability stage. The problems encountered in developing the production capability of the MARCEP technique are indicative of the types of problems that can be expected for any large program of this type. The problem areas can be classified as Program Logic Problems and Computer Limitation Problems. Program Logic Problems include describing basic system components to ensure logical results, forcing the computer to select redundant configurations which have been predetermined as necessary, establishing a rationale for investigating crew survival and mission success, and methods of handling components with short wear lives. Computer Limitation Problems identified are capability to calculate large factorial numbers, the calculation of initial system reliability when the system λT** is very large, reduction of run times, and core storage limitations. Of the problems discussed, it is shown that most can be corrected or circumvented. The most difficult problems to overcome are those inherent in the computer. Recommendations for necessary state-of-the-art developments are made.