| Titre : |
Génération à la Volée des Graphes par Hybridation de la Fonction de Hachage MD5 et d’une Méta-heuristique |
| Type de document : |
texte imprimé |
| Auteurs : |
Chouaïb Chabil, Auteur ; Mohamed Mehdi Benmoussa, Auteur ; Djamel Eddine Saidouni, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2012 |
| Importance : |
95 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
Explosion combinatoire de l’espace d’états, algorithmes distribués, graphes, distribution de graphes, fonction de hachage MD5, métaheuristique. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
La vérification formelle des systèmes informatiques est une des techniques
les plus répandues utilisée dans le domaine des systèmes critiques. Un dysfonctionnement ou une erreur fonctionnelle négligeable rencontrée lors de la
phase de l’exploitation de ceux-ci, est susceptible d’engendrer des pertes de
vies humaines et/ou financières.
A cet effet, pour éviter et surmonter l’occurrence de tels problèmes, des
techniques de vérification formelle et de validation efficace s’imposent le long
du processus de conception de ces systèmes.
La méthode de vérification formelle la plus attractive et qui établit un
bon compromis entre coût et performances est celle basée sur l’évaluation de
modèle (en anglais Model Checking). Cependant, le model checking souffre
du problème de l’explosion combinatoire de l’espace d’états, ce qui rend son
utilisation contraignante du point de vu temps de calcul et espace de stockage.
Dans le but de surmonter les limitations du model checker, la distribution
de graphes ou de l’espace d’états est alors utilisée en vue de la répartition de la
charge du calcul de génération de cet espace d’états et de son stockage sur les
différents sites constituant le réseau. De même, des méthodes de vérification
distribuées basées sur des espaces d’états distribués ont vu le jour et des
recherches sont en cours pour améliorer leurs performances[JOUBERT, 2005,
RIBET, 2005, Benamira, 2006, BOUNEB, 2011].
Les bonnes solutions de distribution de graphes sont celles qui équilibrent
la charge de calcul entre les différents sites d’une part, et réduisent le maximum possible le nombre de connexions inter-sites.
Dans ce contexte, nous proposons un nouvel algorithme basé sur l’hybridation de la fonction de hachage MD5 et d’une méta-heuristique que nous
avons proposée. En outre, pour que l’algorithme soit générique, nous proposons une solution facilement adaptable à différents types de graphes orientés
qui est destinée particulièrement pour traiter les systèmes de transitions, les
systèmes de transitions étiquetées ainsi que les systèmes de transitions étiquetées maximales. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7047 |
Génération à la Volée des Graphes par Hybridation de la Fonction de Hachage MD5 et d’une Méta-heuristique [texte imprimé] / Chouaïb Chabil, Auteur ; Mohamed Mehdi Benmoussa, Auteur ; Djamel Eddine Saidouni, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2012 . - 95 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
Explosion combinatoire de l’espace d’états, algorithmes distribués, graphes, distribution de graphes, fonction de hachage MD5, métaheuristique. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
La vérification formelle des systèmes informatiques est une des techniques
les plus répandues utilisée dans le domaine des systèmes critiques. Un dysfonctionnement ou une erreur fonctionnelle négligeable rencontrée lors de la
phase de l’exploitation de ceux-ci, est susceptible d’engendrer des pertes de
vies humaines et/ou financières.
A cet effet, pour éviter et surmonter l’occurrence de tels problèmes, des
techniques de vérification formelle et de validation efficace s’imposent le long
du processus de conception de ces systèmes.
La méthode de vérification formelle la plus attractive et qui établit un
bon compromis entre coût et performances est celle basée sur l’évaluation de
modèle (en anglais Model Checking). Cependant, le model checking souffre
du problème de l’explosion combinatoire de l’espace d’états, ce qui rend son
utilisation contraignante du point de vu temps de calcul et espace de stockage.
Dans le but de surmonter les limitations du model checker, la distribution
de graphes ou de l’espace d’états est alors utilisée en vue de la répartition de la
charge du calcul de génération de cet espace d’états et de son stockage sur les
différents sites constituant le réseau. De même, des méthodes de vérification
distribuées basées sur des espaces d’états distribués ont vu le jour et des
recherches sont en cours pour améliorer leurs performances[JOUBERT, 2005,
RIBET, 2005, Benamira, 2006, BOUNEB, 2011].
Les bonnes solutions de distribution de graphes sont celles qui équilibrent
la charge de calcul entre les différents sites d’une part, et réduisent le maximum possible le nombre de connexions inter-sites.
Dans ce contexte, nous proposons un nouvel algorithme basé sur l’hybridation de la fonction de hachage MD5 et d’une méta-heuristique que nous
avons proposée. En outre, pour que l’algorithme soit générique, nous proposons une solution facilement adaptable à différents types de graphes orientés
qui est destinée particulièrement pour traiter les systèmes de transitions, les
systèmes de transitions étiquetées ainsi que les systèmes de transitions étiquetées maximales. |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7047 |
|
Affiner la rechercheGénération à la Volée des Graphes par Hybridation de la Fonction de Hachage MD5 et d’une Méta-heuristique / Chouaïb Chabil
