Modélisation et vérification des systèmes "Internet of Things" et des "network controlled systems".

par Jaafar Chbili

Projet de thèse en Informatique

Sous la direction de Saddek Bensalem et de Abdella Battou.

Thèses en préparation à Grenoble Alpes , dans le cadre de École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) , en partenariat avec VERIMAG (laboratoire) depuis le 01-03-2017 .


  • Résumé

    Cette thèse vise à mettre en place une approche pour modéliser, implémenter et valider les systèmes dynamiques IoT. Plus spécifiquement, on vise à définir les abstrations et spécifications propres aux systèmes Internet of Things pour buts de modélisation. Puis l'analyse des propriétés essentielles et le support durant l'exécution.

  • Titre traduit

    Modeling and verification of IoT based and network controlled systems.


  • Résumé

    This project aims at providing foundations for designing, developing and validating modern and future IoT systems. In particular: abstractions addressing specifics of IoT; IoT design with requirements engineering; analysis of essential properties of IoT; IoT abstractions and support at runtime.