Ahmed Hammad

<p style="text-align: justify;">Mes travaux de recherche portent sur la modélisation et la validation des systèmes complexes, nous développons des approches complémentaires pour la spécification et la vérification de ces systèmes. Ces approches s'appuient sur une utilisation conjointe de langages de modélisation semi-formels, de méthodes formelles de vérification et d'environnements de simulation.</p><p style="text-align: justify;">Notre démarche est orientée modèle : au lieu de construire directement le système réel, nous concevons d'abord un modèle qui est ensuite analysé et validé. Un modèle doit être une représentation fidèle du système réel tout en restant suffisamment simple pour faciliter sa compréhension et son analyse.</p><p style="text-align: justify;">La modélisation constitue le processus de création de ce modèle. Son objectif principal est de permettre à l'analyste d'anticiper l'impact des changements sur le système. Elle sert également à décrire les exigences, la structure et les comportements du système à concevoir, tout en vérifiant que les comportements simulés respectent les exigences spécifiées.</p><p style="text-align: justify;">Ces dernières années, mes recherches se concentrent particulièrement sur la modélisation et la validation des systèmes cyber-physiques (CPS) ainsi que de leurs jumeaux numériques, ouvrant la voie à une meilleure intégration entre les mondes physique et numérique.</p>