In this paper we obtain several mixture representations of the reliability function of the inactivity time of a coherent system under the condition that the system has failed at time t (> 0) in terms of the reliability functions of inactivity times of order statistics. Some ordering properties of the inactivity times of coherent systems with independent and identically distributed components are obtained, based on the stochastically ordered coefficient vectors between systems.