Thèse soutenue

Vérification et synthèse automatisées de systèmes distribués : appliqué en particulier à la plateforme SDN-IoT

FR  |  
EN
Auteur / Autrice : Abdul Majith Noordheen
Direction : Hervé MarchandOcan SankurDinh Thai Bui
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 07/06/2022
Etablissement(s) : Rennes 1
Ecole(s) doctorale(s) : MATHSTIC
Partenaire(s) de recherche : Laboratoire : Institut national de recherche en informatique et en automatique (France). Unité de recherche (Rennes, Bretagne-Atlantique) - SUMO
Jury : Président / Présidente : Sophie Pinchinat
Examinateurs / Examinatrices : Béatrice Bérard
Rapporteurs / Rapporteuses : Thi-Mai-Trang Nguyen, Gwen Salaün

Résumé

FR  |  
EN

Dans le cadre de ce document, nous nous sommes intéressés à l'automatisation des plates-formes IoT. Plus précisément, nous utilisons des techniques d'analyse et de synthèse formelles pour garantir la sûreté de fonctionnement du comportement de ces plateformes. Le réseau défini par logiciel (SDN) consiste en une mise en réseau flexible, et à faible coût, des différents composants et fournit des applications de systèmes distribués dynamiques dont les plateformes IoT font partie. Il existe un fort besoin d'intégration cohérente et correcte de l'application IoT dans l'environnement SDN, ce qui induit une utilisation de méthodes de vérification formelles pour analyser la sécurité d'un environnement SDN-IoT. Nous fournissons également un cadre de synthèse détaillé pour modéliser le comportement abstrait de haut niveau des composants IoT et générer automatiquement le code d'implémentation de bas niveau à intégrer dans ceux-ci en se basant sur une approche compositionnelle.