The goal of this article is to analyze a repairable active double redundant system with a single repair facility using Marked Markov Processes. It is assumed that components’ life- and repair times have arbitrary distributions. The proposed approach allows for calculating the system’s reliability characteristics and investigating their sensitivity to the shape of input distributions. This article continues the previous work and aims to analyze the system’s steady-state probabilities. The new method is validated with numerical examples by comparing it with previously obtained analytical results and showed high accuracy.