Thèses de Doctorat "Informatique"
URI permanent de cette collection
Parcourir par
Parcourir la collection Thèses de Doctorat "Informatique" par Sujet "Acyclicité"
Voici les éléments 1 - 1 sur 1
Résultats par page
Options de tri
- ItemVers la reconfiguration structurelle d’un système de type SoS par la méthode MAX-SAT(Université oran1 Ahmed Ben Bella, 2019-10-31) BOUCHAOUR Hamza CherifLes systèmes intégrés à grande échelle qui collaborent afin de réaliser une mission commune sont connus sous le nom de Système de Systèmes (SdS). Dans ce travail, nous introduisons une méthode de récupération permettant à ce type de système de faire face aux défaillances de l'un de ses constituants élémentaires. Le but est d'éviter l'effondrement de l'ensemble du SdS. Pour trouver un nouvel état de fonctionnement, nous proposons un cadre de supervision basé sur un modèle hypergraphique dédié aux SdS. Cela implique la réalisation de deux phases qui sont la modélisation et la reconfiguration. Ces méthodes sont de nature combinatoire et difficilement implémentables sur machine. L'objectif principal de ce travail est de réduire la complexité informatique de la procédure de supervision. Pour la partie modélisation, compte tenu de la haute densité de connexions de l'hypergraphe représentant le SdS, nous proposons de décomposer ce modèle au moyen de la propriété d'acyclicité basée sur un arbre hypergraphique. Ce dernier pro duit une résolution du problème en un temps linéaire. Pour la partie reconfiguration, nous proposons de la résoudre comme étant un problème d'isomorphisme de sous-graphe auquel nous adjoignons une fonction de filtrage. Le but est de pallier les contraintes de complexité hypergraphiques induites par de telles procédures. Nous prévoyons aussi d'utiliser la méthode Max-Sat dans le cas où la reconfiguration par isomorphisme de sous-graphes ne donnerait aucune solution. Enfin, la procédure de supervision proposée est mise en oeuvre par l'approche programmation par contraintes et appliquer sur des exemples de SdS.