Contribution À La Conception D'architecture Logicielle Sur Des Systèmes Critiques Basés Agent
2019
Thèse de Doctorat
Informatique

Université Ferhat Abbas - Sétif 1

B
Boucherit, Ammar

Résumé: Les systèmes logiciels critiques sont généralement complexes, distribués et comportent souvent des états impliquant des caractéristiques de concurrence, de parallélisme et même de temps réel. En plus, et du fait de l’évolution rapide des systèmes informatiques que ce soit dans le domaine des systèmes embarqués et/ou répartis, de tels systèmes logiciels sont présents presque partout dans les domaines de notre vie quotidienne, tels que l’aéronautique, les centrales électriques, les transports et la santé. Par conséquent, leurs échecs peuvent avoir des conséquences catastrophiques pouvant influer sur (ou mettre en danger) la vie humaine et son environnement socio-économique. Ce type de systèmes informatique représente un défi pour les concepteurs puisqu’ils implique différents niveaux de qualité qui sont directement proportionnels au besoin de sécurité et de fiabilité du système en cours de conception. Par conséquent, le principal intérêt durant le développement de tels systèmes logiciels ne se limite pas à la définition claire des fonctions, propriétés du système et l’interaction entre ses composants, mais surtout à identifier et/ou éliminer les erreurs dans le code proposé du système pour assurer une implémentation réussie.

Mots-clès:

réseaux de petri
méthodes formelles
architectures formelles
Nos services universitaires et académiques

Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).

Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!

Comment ça marche?
Nouveau
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".


footer.description

Le Moteur de recherche des thèses, mémoires et rapports soutenus en Algérie

Doctorat - Magister - Master - Ingéniorat - Licence - PFE - Articles - Rapports


©2025 Thèses-Algérie - Tous Droits Réservés
Powered by Abysoft