Université de Rennes 1 Garantir la cohérence applicative lors des changements de configuration réseau : étude de cas sur la connectivité dans les Software Defined Infrastructures Ensuring application consistency when changing network configurations : a case study on connectivity in software defined infrastructures Réseaux informatiquesSDNNFVvérificationVNF computer networkSDNNFVverificationVNF Systèmes de communication sans fil SDN (architecture des réseaux d'ordinateurs) Vérification de modèles (informatique) Des solutions de vérification efficaces nous semblent indispensables afin d’assurer la continuité des services en place et le déploiement de nouveaux services dans les réseaux 5G. Cette problématique ne se limite pas aux techniques de vérification, nos travaux portent aussi sur la formalisation des besoins d'un service réseau complet. Nous avons travaillé sur un langage de programmation facilitant la vérification dans les contrôleurs SDN. Puis nous avons défini des contrats de comportement réseau afin de clarifier les propriétés à vérifier pour assurer le bon fonctionnement d'un service. Enfin nous avons étudié MANO pour proposer une extension du standard permettant de vérifier les configurations réseau au niveau de l'orchestrateur. We believe that effective verification solutions are essential to ensure the continuity of existing services and the deployment of new services in 5G networks. This problem is not limited to verification techniques, our work also concerns the formalization of needs of a complete network service. We worked on a programming language to facilitate verification in SDN controllers. Then we defined network behavior contracts to clarify the properties to be verified to ensure the proper functioning of a service. Finally, we studied MANO to propose an extension of the standard to check the network configurations at the orchestrator level. Electronic Thesis or DissertationText fr application/pdf1 : 4954 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/f7355856-3046-43c3-84d4-ade7aa3cf6bb Pelay Johan 1989-03-01 FR 244249326 johan.pelay@gmail.com 2020REN1S001 http://www.theses.fr/2020REN1S001 2020-01-13 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiBaraisOlivierintervenant_1094608946GuilleminFabriceintervenant_2235174122 MATHSTICecoleDoctorale_1 204770424 Universite Bretagne LoirepartenaireRecherche_1 191639044 IRISA partenaireRecherche_2 026386909 ddc:004 BaraisOlivierGuilleminFabriceUniversite 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)Universite Bretagne Loire Communaute des etablissements d enseignement superieur et de recherche (ComuE) IRISA ASCII PDF 5072493