Dans ce chapitre, nous allons définir, en premier lieu, la sûreté de fonctionnement d'un système réparable ainsi que les concepts de base associés tels que la fiabilité, la disponibilité, la maintenabilité, les défaillances, les pannes et les défauts. Dans notre étude, nous nous sommes intéressés à la fiabilité des systèmes discrets de grandes dimensions. Ces études peuvent être basées sur les modèles markoviens ou sur les Réseaux de Petri Stochastiques (RdPS) qui sont généralement utilisés pour l'analyse et la synthèse des modèles utilisés lors des différentes phases de vie d'un système. Ces différents outils de modélisation permettent de déduire le comportement moyen et d'obtenir les indicateurs de performance du système étudié, soit par calcul soit par estimation. Nous allons présenter l'analyse markovienne de système dont l'espace d'état est fini ainsi que son estimateur obtenu à l'aide de RdPS.