L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape de conception jusqu'a sa realisation finale. Les travaux realises dans cet ouvrage concernent essentiellement la modelisation et la simulation des systemes concurrents et repartis. Ainsi ces aspects ont necessite l'apprentissage du langage Promela et l'utilisation de l'outil logiciel associe a savoir le simulateur SPIN. Les applications realisees ont concerne plusieurs aspects etudies durant notre cursus mais de maniere theorique. Les...
L'exigence d'avoir des systemes concurrents fiables impose a tout concepteur (de tels systemes) d'adopter une demarche rigoureuse de la premiere etape...