| Titre : |
Distribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri |
| Type de document : |
texte imprimé |
| Auteurs : |
Ahmed Chaouki Chaouche, Auteur ; Djamel Eddine Saidouni, Directeur de thèse ; Jean Michel Ilie, Directeur de thèse |
| Editeur : |
CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine |
| Année de publication : |
2011 |
| Importance : |
104 f. |
| Format : |
30 cm. |
| Note générale : |
Une copie electronique PDF disponible au BUC. |
| Langues : |
Français (fre) |
| Catégories : |
Informatique
|
| Tags : |
Distribution adaptative, voisinage, PSO, STEM, Réseaux
de Petri, Génération à la volée. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
La véri cation de systèmes informatiques est une nécessité de par
leur ubiquité. Utilisés dans les domaines les plus critiques, lorsqu'ils sont
défectueux, leur impact se mesure en vies humaines ou en pertes maté-
rielles colossales. A cet eet, des techniques de véri cation formelle performantes et de validation e caces s'imposent dans la conception d'un
système. La technique de véri cation formelle la plus attractive du point
de vue coût / performances est celle basée sur l'évaluation de modèles
(model checking).
Néanmoins, le facteur principal de limitation du model checking est
le problème de l'explosion combinatoire de l'espace d'états. L'utilisation
du modèle des systèmes de transitions étiquetées maximales (STEM)
n'échappe pas à ce problème. A n d'y remédier, la solution la plus ré-
pandue, jusqu'à ce jour, est la distribution de l'espace d'états en vue de
la répartition de la charge du calcul telles que la génération à la volée de
l'espace d'états et la véri cation de ses propriétés.
A n d'obtenir une meilleure distribution du graphe sur les diérents
sites, nous proposons, dans le cadre de cette recherche, des algorithmes
évolutionnaires issus de l'optimisation combinatoire s'inspirant essentiellement des phénomènes naturels tels que l'étude du comportement social
des animaux évoluant en groupe (poissons, oiseaux ou abeilles) et cela
en adaptant la méta-heuristique "Optimisation par Essaim Particulaire
PSO" Ã la distribution des graphes. Permettant de trouver un compromis
entre l'équilibrage de charge et la diminution des messages inter-sites.
Par ailleurs, étant génériques, ces algorithmes, qui s'adaptent à n'importe quel graphe orienté, sont proposés pour traiter en particulier les
systèmes de transitions, les systèmes de transitions étiquetées et les systèmes de transitions étiquetées maximales |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7736 |
Distribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri [texte imprimé] / Ahmed Chaouki Chaouche, Auteur ; Djamel Eddine Saidouni, Directeur de thèse ; Jean Michel Ilie, Directeur de thèse . - CONSTANTINE [ALGERIE] : Université Frères Mentouri Constantine, 2011 . - 104 f. ; 30 cm. Une copie electronique PDF disponible au BUC. Langues : Français ( fre)
| Catégories : |
Informatique
|
| Tags : |
Distribution adaptative, voisinage, PSO, STEM, Réseaux
de Petri, Génération à la volée. |
| Index. décimale : |
004 Traitement de données. Informatique |
| Résumé : |
La véri cation de systèmes informatiques est une nécessité de par
leur ubiquité. Utilisés dans les domaines les plus critiques, lorsqu'ils sont
défectueux, leur impact se mesure en vies humaines ou en pertes maté-
rielles colossales. A cet eet, des techniques de véri cation formelle performantes et de validation e caces s'imposent dans la conception d'un
système. La technique de véri cation formelle la plus attractive du point
de vue coût / performances est celle basée sur l'évaluation de modèles
(model checking).
Néanmoins, le facteur principal de limitation du model checking est
le problème de l'explosion combinatoire de l'espace d'états. L'utilisation
du modèle des systèmes de transitions étiquetées maximales (STEM)
n'échappe pas à ce problème. A n d'y remédier, la solution la plus ré-
pandue, jusqu'à ce jour, est la distribution de l'espace d'états en vue de
la répartition de la charge du calcul telles que la génération à la volée de
l'espace d'états et la véri cation de ses propriétés.
A n d'obtenir une meilleure distribution du graphe sur les diérents
sites, nous proposons, dans le cadre de cette recherche, des algorithmes
évolutionnaires issus de l'optimisation combinatoire s'inspirant essentiellement des phénomènes naturels tels que l'étude du comportement social
des animaux évoluant en groupe (poissons, oiseaux ou abeilles) et cela
en adaptant la méta-heuristique "Optimisation par Essaim Particulaire
PSO" Ã la distribution des graphes. Permettant de trouver un compromis
entre l'équilibrage de charge et la diminution des messages inter-sites.
Par ailleurs, étant génériques, ces algorithmes, qui s'adaptent à n'importe quel graphe orienté, sont proposés pour traiter en particulier les
systèmes de transitions, les systèmes de transitions étiquetées et les systèmes de transitions étiquetées maximales |
| Diplome : |
Master 2 |
| Permalink : |
https://bu.umc.edu.dz/master/index.php?lvl=notice_display&id=7736 |
|
Affiner la rechercheDistribution adaptative d'un espace d'états Application aux STEMs et Réseaux de Petri / Ahmed Chaouki Chaouche
