Direction de recherche : Fabrice KORDON
Co-encadrement : ABOUTAJDINE Driss, THIERRY-MIEG Yann, MOULINE Salma

Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil

L’objectif de la thèse est de fournir un moyen pour modéliser un réseau de capteurs sans fil à l’aide d’un langage semi-formel tout en garantissant la vérification d’un certain nombre de propriétés sur le modèle. Pour ce faire, le modèle semi-formel sera traduit automatiquement dans un langage formel à des fins de vérification. Le résultat de cette vérification sera ensuite retransmis à l’utilisateur. En cas d’erreurs, les concepteurs du système réviseront la spécification initiale et réappliqueront le processus de vérification jusqu’à ce que les propriétés soient satisfaites.

Soutenance : 21/09/2013

Membres du jury :

Laure Petrucci, Professeur à l'Université Paris 13 [Rapporteur]
Prof. Youssef FAKHRI, Université Ibn Tofail, Kénitra, Maroc [Rapporteur]
Salma Mouline, Université Mohammed V Agdal
Driss Aboutajdinne, Université Mohammed V Agdal
Fabrice Kordon, Professeur à l'Université Paris 6 - UPMC - LIP6
Yann THIERRY-MIEG, MC Université Paris 6 - UPMC - LIP6

Publications 2010-2013

• 2013
  • Y. Ben Maïssa : “Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil”, soutenance de thèse, soutenance 21/09/2013, direction de recherche Kordon, Fabrice, co-encadrement : Aboutajdine, Driss, Thierry-mieg, Yann, Mouline, Salma (2013)
  • Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor: an Integrated Workflow”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. VIII, pp. 24-47, (Springer) (2013)
• 2012
  • F. Kordon, B. Bérard, Y. Thierry‑Mieg, Y. Ben Maïssa : “Hierarchy is Good For Discrete Time: a Compositional Approach to Discrete Time Verification”, Dagstuhl seminar "Architecture-Driven Semantic Analysis of Embedded Systems", Dagstuhl, Germany, pp. 38-39 (2012)
  • Y. Ben Maïssa, F. Kordon, S. Mouline, Y. Thierry‑Mieg : “Modeling and Analyzing Wireless Sensor Networks with VeriSensor”, Petri Net and Software Engineering (PNSE), vol. 851, CEUR Workshop Proceedings, Hamburg, Germany, pp. 60-76 (2012)
• 2010
  • Y. Ben Maïssa, S. Mouline : “Un langage de modélisation pour réseaux de capteurs sans fil basé sur sysml”, 2^es Journées Doctorales en Technologies de l'Information et de la Communication, Fès, Morocco (2010)