Chaînes de Markov
Les chaînes de Markov sont utilisées pour évaluer de façon quantitative la sûreté de fonctionnement des systèmes. Cette technique mathématique repose sur l'hypothèse que les taux de transition d'un système (taux de défaillance et taux de réparation) sont constants et que le processus stochastique modélisant son comportement est markovien (processus sans mémoire). Lorsque l'espace des états dans lequel peut se trouver le système est un ensemble discret, le processus markovien est appelé chaîne de Markov.