Processus concurrents et systèmes parallèles- Aspects Pratiques - Benarous, Leila

. .

Résumé :
L?exigence d?avoir des syst?mes concurrents fiables impose ? tout concepteur (de tels syst?mes) d?adopter une d?marche rigoureuse de la premi?re ?tape de conception jusq?? sa r?alisation finale. Les travaux r?alis?s dans cet ouvrage concernent essentiellement la mod?lisation et la simulation des syst?mes concurrents et r?partis. Ainsi ces aspects ont n?cessit? l?apprentissage du langage Promela et l?utilisation de l?outil logiciel associ? ? savoir le simulateur SPIN. Les applications r?alis?es ont concern? plusieurs aspects ?tudi?s durant notre cursus mais de mani?re th?orique. Les applications ont ?t? ?tendues aux syst?mes repartis et plus particuli?rement les algorithmes d??lection. De plus, un int?r?t a ?t? port? ? l?aspect v?rification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d?application, nous avons mod?lis? et valid? le protocole KERBEROS lequel est un protocole d?authentification.

Biographie:
Benarous Leila ?tudiante en Master Informatique, option: R?seaux, Syst?mes et Applications R?parties, universit? Amar Telidji, Laghouat, Alg?rie.

Sommaire:
Benarous Leila ?tudiante en Master option:R?seaux,Syst?mes et Application R?parties, D?partement Math?matique et Informatique, Universit? Amar Telidji....