Differentiability properties of optimal value functions associated with perturbed optimization problems require strong assumptions. We consider such a set of assumptions which does not use compactness hypothesis but which involves a kind of coherence property. Moreover, a strict differentiability property is obtained by using techniques of Ekeland and Lebourg and a result of Preiss. Such a strengthening is required in order to obtain genericity results.

‘Divide and conquer’ is a traditional approach in various fields of applied mathematics. In reliability, only modules have been proposed to decompose complex coherent systems. However, a system may include no modules, except ‘trivial’ ones. This paper is the second step of a study concerned with module generalizations : in the first step, pseudo-modules have been retained as the most general coherent subsystems which can yield a complete extension of the fundamental results concerning modules; in addition, it has been proved that they concern any binary coherent system; in this paper, it is shown that pseudo-modular decompositions are the most general coherent decompositions which can yield a complete extension of all the ‘refined bounds’ for the interval reliability and the availability currently proposed in terms of modular decompositions.

This study also yields some fundamental results to extend all the ‘refined bounds’ currently proposed for multistate coherent systems, using an easier approach.