![]()
Précédent : Mesures de performance et de Remonter :
Mesures
de performance et de Suivant : Performabilité
La disponibilité ponctuelle et la disponibilité moyenne sur un intervalle sont des mesures de sûreté de fonctionnement respectivement définies par la probabilité qu'un système soit opérationnel à un instant donné et par le pourcentage de temps moyen durant lequel le système est opérationnel sur une période d'observation finie. Un nouvel algorithme a été développé [35] dans le cadre des modèles markoviens pour calculer ces deux mesures de disponibilité. Cet algorithme est basé sur la technique classique de l'uniformisation dans laquelle un test détectant le comportement stationnaire du système est utilisé pour arrêter le calcul si le régime stationnaire est atteint. Dans ce cas, l'algorithme fournit non seulement les mesures de disponibilité transitoires mais aussi la disponibilité stationnaire, avec une économie de calcul significative, en particulier lorsque l'instant pour lequel les mesures sont demandées est important. Dans le cas où le régime stationnaire n'est pas détecté, l'algorithme fournit les mesures transitoires et des bornes pour la disponibilité stationnaire. On montre aussi comment ce nouvel algorithme peut être étendu au calcul de mesures de performabilité. Par ailleurs, la technique dite des puissances uniformisées, développée au sein de l'équipe, a été étendue au calcul de la disponibilité sur un intervalle. Dans un premier temps, la comparaison des deux méthodes, en régime transitoire, vis-à-vis de la complexité temporelle a montré la supériorité de la méthode des puissances uniformisées par rapport à l'uniformisation dans le cas des chaînes raides avec un espace de quelques centaines d'états. Dans un deuxième temps, un algorithme de détection du régime stationnaire par la méthode des puissances uniformisées a été développé [24].