Université de Rennes 1 Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform Vérification et synthèse automatisées de systèmes distribués: appliqué en particulier à la plateforme SDN-IoT Réseaux définis par logicieldispositifs de l'Internet des objetssynthèse de contrôlevérificationautomatisationgénération de code automatisée SDNIoT devicesControl SynthesisVerificationAutomationAutomated Code Generation Internet des objets SDN (architecture des réseaux d'ordinateurs) Automatisation 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. Towards the automation of Software-Defined Network (SDN) based Internet of Things (IoT) platforms, we are using formal analysis and synthesis techniques to ensure their safe behaviors. SDN a flexible and low cost networking principle which provides dynamic distributed system applications, IoT is one such kind. There is a strong need for consistent and correct integration of IoT applications in SDN environment. Using formal compositional verification methods for analyzing the safety of an SDN-IoT environment, we provide a detailed synthesis framework to model the abstract behaviour of IoT devices, SDN manager and automatically generate low level implementation code to be integrated with IoT applications. Electronic Thesis or DissertationText en application/pdf1 : 1784 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/c852c137-e9b3-4402-adf5-00be3148edc6 Noordheen Abdul Majith 1991-08-26 IN 266096883 abdulmajith444@gmail.com 2022REN1S035 http://www.theses.fr/2022REN1S035 2022-06-07 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiMarchandHervéintervenant_1095626360SankurOcanintervenant_217456306XBuiDinh Thaiintervenant_3266097871PinchinatSophieintervenant_4097578754BérardBéatriceintervenant_5029892740NguyenThi-Mai-Trangintervenant_607819721XSalaünGwenintervenant_7069135029 MATHSTICecoleDoctorale_1 204770424 INRIA-RENNES partenaireRecherche_1 133175863 ddc:004 MarchandHervéSankurOcanBuiDinh ThaiPinchinatSophieBérardBéatriceNguyenThi-Mai-TrangSalaünGwenUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMATHSTICÉcole doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) INRIA-RENNES ASCII PDF 1826914