رئاسـة البـحث : Fabrice KORDON

تأطـير مـشـترك : 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.

إصدارات 2010-2013

• 2013
  • Y. Ben Maïssa : “Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil”, أطروحة, مناقـشـة مـذكـرة 21/09/2013, رئاسـة البـحث Kordon, Fabrice, تأطـير مـشـترك : 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)