Dependence of exchangeable residual lifetimes subject to failure

We provide exact formulas about the survival copula of an exchangeable random vector of residual lifetimes when some of the components have failed. Specific computations are carried out in the case of Archimedean copulas and the evolution of dependence after successive failures of some components is shown numerically via measures of association.