DSpace
 

Dépôt Institutionnel de l'Université Ferhat ABBAS - Sétif 1 >
Faculté des Sciences >
Département d'Informatique >
Thèses de doctorat >

Veuillez utiliser cette adresse pour citer ce document : http://dspace.univ-setif.dz:8888/jspui/handle/123456789/3209

Titre: Contribution à la conception d'architecture logicielle sure des systémes critiques basés agent
Auteur(s): Boucherit, Ammar
Mots-clés: Réseaux de petri
Méthodes formelles
Architectures formelles
Date de publication: 7-mai-2019
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.
URI/URL: http://dspace.univ-setif.dz:8888/jspui/handle/123456789/3209
Collection(s) :Thèses de doctorat

Fichier(s) constituant ce document :

Fichier Description TailleFormat
Ammar Boucherit.pdf44,77 MBAdobe PDFVoir/Ouvrir
View Statistics

Tous les documents dans DSpace sont protégés par copyright, avec tous droits réservés.

 

Valid XHTML 1.0! Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires