Processus Concurrents Et Systmes Parallles- Aspects Pratiques

L'exigence d'avoir des systmes concurrents fiables impose tout concepteur (de tels systmes) d'adopter une dmarche rigoureuse de la premire tape de conception jusqu' sa ralisation finale. Les travaux raliss dans cet ouvrage concernent essentiellement la modlisation et la simulation des systmes concurrents et rpartis. Ainsi ces aspects ont ncessit l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associ savoir le simulateur SPIN. Les applications ralises ont concern plusieurs aspects tudis durant notre cursus mais de manire thorique. Les applications ont t tendues aux systmes repartis et plus particulirement les algorithmes d'lection. De plus, un intrt a t port l'aspect vrification- validation, aspect de loin les plus pertinent lors de toute conception de protocoles. A titre d'application, nous avons modlis et valid le protocole KERBEROS lequel est un protocole d'authentification.