Vérifier l'aptitude du SIS à exécuter correctement ses fonctions constitue une étape très importante pour sa validation. La conception des SIS assurant une double performance: satisfaire aux objectifs de sécurité et de disponibilité, constitue une tâche d'importance capitale, avec le souci majeur de la maîtrise du risque, et partant de la norme CEI 61508 comme document normatif de référence pour la mise en oeuvre des SIS, ensuite une étude des formulations mathématiques des indicateurs de performance (PFDmoy, PFH, PFSmoy, STR) en vue d'une comparaison simplifiée des différentes approches. L'objectif de cet ouvrage est de vérifier l'adéquation des formulations analytiques existantes ayant trait à la PFSmoy et le STR. Ainsi, nous proposons une nouvelle formulation mathématique basée sur les chaînes de Markov, formalisme qui permet une modélisation comportementale effective des systèmes testés périodiquement. Le problème d'optimisation expose les différents facteurs et critères. Ceci a été réalisé à travers un exemple réaliste issu de l'industrie de procédés, en utilisant comme outils les algorithmes génétiques (AG). En application, plusieurs stratégies de maintenance ont été testées.