Processus concurrents et systèmes parallèles- Aspects Pratiques
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 jusqu’à 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.
Benarous Leila étudiante en Master option:Réseaux,Systèmes et Application Réparties, Département Mathématique et Informatique, Université Amar Telidji.
Fiche technique
- Auteur
- Leila Benarous
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pays
- Algérie
30 autres produits dans la même catégorie :
Voir toutTransformation Numérique : Levier de Gestion optimale des Entreprises
- Nouveau
Approche Bayésienne expérimentale pour l’analyse des risques
- Nouveau
L’avènement de "ORBi" à l'Université de Kinshasa Répertoire
- Nouveau
Conception et réalisation d’une base de données pour la gestion
- Nouveau
Les Systèmes de Recommandation à Base de Filtrage Collaboratif
- Nouveau
Déploiement d’une base de données couplée à un système web pour la gestion de crédit dans un établissement de microfinance
- Nouveau
Conception et réalisation d'une application de gestion des palmarès
- Nouveau
Mise en place d'un réseau informatique local avec connexion internet
- Nouveau
Structures de Données en C: Ressources d’Apprentissage Intégrées
- Nouveau
Répartition simultanée des nœuds dans un réseau de radio cognitive
- Nouveau
Prenez le Contrôle de FET, Logiciel GRATUIT de Confection des HORAIRES
- Nouveau
Vers une approche de monitoring des applications orientées services
- Nouveau
Familiarisez-vous avec ASC TIMETABLES pour Gérer vos EMPLOIS DU TEMPS
- Nouveau
Le traitement des classes déséquilibrées par les méthodes ensemblistes
- Nouveau
Conformité aux normes de sécurité des systèmes d’information
- Nouveau
De la Santé au Code : l'Épopée d'un Innovateur dans la eSanté
- Nouveau