A coherent system is observed until it fails. At the instant of system failure, the set of failed components and the failure time of the system are noted. The failure times of the components are not known. We consider whether the component life distributions can be determined from the distributions of the observed data.
Meilijson (1981) gave a condition on the structure of the system that was sufficient for the identifiability of the component distributions, under the assumption that the component life distributions are continuous and have common essential extrema. Nowik (1990) gave necessary and sufficient conditions for identifiability under the more restrictive condition that the component distributions have atoms at their common essential infimum and are mutually absolutely continuous. We give a necessary condition for identifiability, which we show to be equivalent to Nowik's condition, under the assumption that the distributions are continuous and strictly increasing. We derive a sufficient condition for identifiability, more general than Meilijson's, for the case in which the component distributions are assumed to be analytic. We also show that our necessary condition for identifiability is both necessary and sufficient when the component life distributions are assumed to belong to certain parametric families.