Samir CHOUALI : "Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles"

Travaux d'HDR de Samir CHOUALI : "Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles"

Bien que la soutenance soit publique, les mesures sanitaires actuellement en vigueur limitent le nombre de personnes autorisées dans la salle. Donc, seules quelques personnes (invitées) pourront y assister physiquement.

Résumé : Mes travaux portent sur la conception rigoureuse des systèmes à base de composants (SBCs) critiques, en exploitant des notations semi-formelles et des approches formelles. Je m’intéresse particulièrement à l'exploitation d'un formalisme particulier des automates, appelé automates d’interface, pour proposer des approches de conception incrémentales par contrats. Ce qui permet de vérifier l’interopérabilité, la substituabilité, et l’adaptabilité des composants, lors de leur assemblage.
Mes travaux se focalisent également sur l’exploitation des modèles semi-formels, particulièrement SysML, pour formaliser les exigences des SBCs dans le but de les prendre en considération lors de la vérification de la cohérence des architectures des SBCs.
 Plus récemment, j'ai travaillé, dans le cadre de collaborations, sur la spécification et la vérification des protocoles de coordination dans les SBCs, ainsi que sur l’utilisation des approches formelles pour la validation des protocoles de communication dans les véhicules connectés.

Composition du jury :
M.Yamine Aït-Ameur, Professeur, IRIT/INPT-ENSEEIHT Toulouse - Rapporteur
M.Christian Attiogbé, Professeur, LS2N/Université de Nantes - Rapporteur
M.Gwen Salaün, Professeur, INRIA/Université Grenoble Alpes -Rapporteur
Mme.Olga Kouchnarenko, Professeure, FEMTO-ST/UBFC Examinatrice
M.Pierre-Cyrille Héam, Professeur, FEMTO-ST/UBFC - Examinateur
M.Hassan Mountassir, Professeur, FEMTO-ST/UBFC-Examinateur

Localisation : Salle N4 - Visioconférence, Institut FEMTO-ST, Bâtiment TEMIS, Besançon