Abstract:
La motivation principale de ce travail est de proposer une solution à un problème de satisfaction de contraintes.
Ce problème de satisfaction de contraintes se traduit par la recherche de l’architecture optimale d’un système instrumenté de sécurité satisfaisant un niveau de fiabilité requis, dans une optique de coûts minimales.
La première partie présentera le cadre formel de la problématique, ainsi qu’un tour d’horizon des différents modèles disponibles pour la résolution des problèmes de satisfaction de contraintes.
La deuxième partie traitera de l’exploitation de l'intelligence artificielle, par l’application des Algorithmes Évolutionnaires, afin de
trouver l’architecture optimale du système.
Une étude par chaine de Markov viendra vérifier les paramètres de performance du système optimisé.
