Contribution à la conception d'architecture logicielle sure des systèmes critiques basés agent

Abstract

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.