Supervision : Fabrice KORDON
Co-supervision : ABOUTAJDINE Driss, THIERRY-MIEG Yann, MOULINE Salma

Contribution to the modeling and verification of wireless sensor networks

The goal of the PhD thesis is to provide a way for modeling a wireless sensor networks using a semi-formal language, while ensuring that properties of interest are verified on the model. In order to this, the semi-formal model will be transformed automatically into a formal one, for verification. The verification result will be provided to the user. If a property of interest is not verified, the system designers will modify their specification and reapply the verification process until all properties are satisfied.

Phd defence : 09/21/2013

Jury members :

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

2010-2013 Publications

• 2013
  • Y. Ben Maïssa : “Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil”, thesis, phd defence 09/21/2013, supervision Kordon, Fabrice, co-supervision : 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)