Ahmed Hammad: "Contributions à la modélisation et à la validation des systèmes complexes"

Résumé

La complexité et la criticité des systèmes croissent d'une manière significative. Cette croissance est due à l'hétérogénéité de leurs composants, de leurs interactions et des nouvelles exigences prises en compte comme la performance, la sécurité, l'optimisation de la consommation d'énergie,.... Celles-ci, justifient l’utilisation des techniques adéquates pour garantir la qualité des spécifications. La spécification  des systèmes complexes et critiques, ainsi que leur validation dès les premières phases de leur cycle de développement sont l’une des préoccupations majeures en ingénierie des systèmes. Néanmoins, ces phases de spécification et de validation restent très souvent ardues d’une part à cause du niveau d’expertise requis pour l’expression et la validation des exigences de ces systèmes et d’autre part à cause du manque de moyens d’assistance. Pour fournir un cadre permettant d’assister les concepteurs de ces systèmes, nous proposons une méthode outillée pour la spécification et la validation de ces systèmes. Celle-ci s'appuie sur des modélisations semi-formelles du système et ses exigences et intègre des
environnements adaptés à la vérification et à la simulation. Les approches proposées pour la validation s’appliquent très tôt dans le processus de développement du système. Cette intervention précoce permet de limiter les coûts de correction d’éventuelles erreurs de spécification et de conception.

Composition du jury :

    • M. Yamine Ait-Ameur, rapporteur, Professeur à l’INPT-ENSEEIHT, Toulouse,
    • M. Christian Attiogbé, rapporteur, Professeur à l’université de Nantes,
    • M. Fabrice Bouquet, examinateur, Professeur à l’université de Franche-Comté,
    • M. Khalil Drira, rapporteur, Directeur de recherches au LAAS-CNRS, Toulouse,
    • M. Pierre-Cyrille Héam, examinateur, Professeur à l’université de Franche-Comté,
    • M. Hassan Mountassir, examinateur, Professeur à l’université de Franche-Comté.