J. LEDOUX s'intéresse à l'évaluation quantitative de la composante logicielle d'un système. Une discussion générale des problèmes de modélisation stochastique en fiabilité du logiciel est fournie dans [32]. L'analyse d'un processus de comptage des défaillances (et l'algorithmique associée) d'un modèle de type ``boîte-blanche'', est présentée dans [33]. J.-B. GRAVEREAUX et J. LEDOUX donnent dans [34], une approximation Poissonnienne du comportement asymptotique de ce processus ponctuel lorsque les taux de défaillance deviennent petits, c'est à dire en présence de croissance de fiabilité avec le temps. Nous fournissons également une vitesse de convergence pour la distance en variation en se basant sur des travaux de Kabanov, Liptser et Shirayev. Une première étude [35] avait permis de prouver le même type de résultats pour le modèle de Littlewood dans lequel les défaillances n'ont aucune influence sur la dynamique d'exécution.