.. .. Les,

.. .. Le,

. .. La-multidiffusion,

T. .. L'ingénierie-protocolaire-du-réseau, , p.17

.. .. Conclusion,

. .. Le-protocole-openflow, , p.82

. .. Architecture-réseau-proposée, , p.85

. .. , Description technique de l'implémentation, vol.86

. .. Protocole-expérimental,

. .. Règles-de-commutation, , p.90

. .. Déroulement-du-protocole, , p.91

. .. Résultats, 92 4.5.1 Panne impactant un seul arbre

. .. Panne, , p.98

.. .. Conclusion,

, Démarrage du contrôleur

, Démarrage de la topologie virtuelle : (a) Démarrage des hôtes émetteurs et récepteurs

, Démarrage des commutateurs

, Démarrage des liaisons

, Commande d'un service de multidiffusion à travers l'interface

L. Évènement and . Réseau,

, L'analyse des relevés sur les hôtes récepteurs permet de définir si le comportement du contrôleur au cours de l'expérience est bien celui attendu. En particulier, on souhaite valider les réactions aux évènements, c'est-à-dire la conservation d'au moins l'un des flux

, Les transitions entre ces états sont liées à des pannes réseau, des évolutions du réseau, et des déploiements ou suppressions des arbres R et B déclenchées par le plan de contrôle. Les variables booléennes associées au réseau d'automates sont

L. R_deploye,

L. B_deploye,

, deployer_RB L'arbre R doit être déployé avant l'arbre B

, deployer_BR L'arbre B doit être déployé avant l'arbre R

, dest_injoignable Au moins une destination est isolée de la source

, dest_ignoree Les destinations injoignables sont ignorées

, Le système complet est constitué d'une instance de plan de contrôle défini par le patron Control_plane et une instance de plan de données défini par Data_plane. En syntaxe Uppaal, la composition du système s'écrit de la manière suivante

, data = Data_plane(

, system ctl,data

. Itu-t-p, Vocabulary for performance, quality of service and quality of experience, ITU, Tech. Rep, vol.10, 2017.

. Itu-t-e.800, Terms and definitions related to quality of service and network performance including dependability, 2009.

H. Rifai, S. Mohammed, and A. Mellouk, A brief synthesis of QoS-QoE methodologies, 2011 10th International Symposium on Programming and Systems, pp.32-38, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01678633

E. C. Rosen and R. Aggarwal, Multicast in MPLS/BGP IP VPNs, vol.6513, 2012.

S. Pirlot, Survivabilité dans les Réseaux de Transport de Vidéo et d'Audio sans Dégradation de la Qualité Perçue par l'Utilisateur, 2016.

. France, Loi no. 2007-309 du 5 mars 2007 relative à la modernisation de la diffusion audiovisuelle et à la télévision du futur, Journal Officiel, issue.56, p.600104, 2007.

K. Obraczka, Multicast Transport Protocols : a Survey and Taxonomy, IEEE Communications Magazine, vol.36, issue.1, pp.94-102, 1998.

B. Fenner, M. Handley, H. Holbrook, I. Kouvelas, R. Parekh et al., Protocol Specification (Revised), vol.7761, 2016.

S. Deering, RFC 1112 : Host Extensions for IP Multicasting, IETF, RFC, vol.1112, 1989.

T. Bates, R. Chandra, D. Katz, and Y. Rekhter, RFC 4760 : Multiprotocol Extensions for BGP-4, IETF, RFC, vol.4760, 2007.

A. Striegel and G. Manimaran, A Survey of QoS Multicasting Issues, IEEE Communications Magazine, vol.40, issue.6, pp.82-87, 2002.

M. Hosseini, D. T. Ahmed, S. Shirmohammadi, and N. D. Georganas, A Survey of Application-layer Multicast Protocols, IEEE Communications Surveys & Tutorials, vol.9, issue.3, pp.58-74, 2007.

, ST 2022-7 :2013 : Seamless Protection Switching of SMPTE ST 2022 IP Datagrams, 2013.

A. Iselt, A new synchronization algorithm for hitless protection switching in ATM networks, 1999 IEEE International Performance, Computing and Communications Conference (Cat. No.99CH36305), pp.370-376, 1999.

A. Orda and A. Sprintson, Efficient algorithms for computing disjoint QoS paths, vol.1, pp.727-738, 2004.

A. Gopalan and S. Ramasubramanian, IP Fast Rerouting and Disjoint Multipath Routing With Three Edge-Independent Spanning Trees, IEEE/ACM Transactions on Networking, vol.24, issue.3, pp.1336-1349, 2016.

T. Hasegawa, K. Kamimura, H. Hoshino, S. Ano, and T. Hasegawa, IP-based HDTV Broadcasting System Architecture with Non-stop Service Availability, GLOBE-COM '05. IEEE Global Telecommunications Conference, p.6, 2005.

P. Pan, G. Swallow, and A. Atlas, RFC 4090 : Fast Reroute Extensions to RSVP-TE for LSP Tunnels, IETF, RFC, vol.4090, 2005.

A. Sundarrajan and S. Ramasubramanian, Fast reroute from single link and single node failures for IP multicast, Computer Networks, vol.82, pp.20-33, 2015.

G. Wei, C. Lung, and A. Srinivasan, Protecting a MPLS multicast session tree with bounded switchover time, SPECTS : 2010 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, pp.236-243, 2010.

R. Forsati, M. Mahdavi, A. T. Haghighat, and A. Ghariniyat, An efficient algorithm for bandwidth-delay constrained least cost multicast routing, Electrical and Computer Engineering, pp.1-641, 2008.

G. Feng, Delay constrained multicast routing : What can we learn from an exact approach ?, in Global Communications Conference (GLOBECOM), pp.2809-2814, 2012.

S. Kubler, J. Robert, J. Georges, and E. Rondeau, Dual path communications over multiple spanning trees for networked control systems, Engineering Applications of Artificial Intelligence, vol.25, issue.7, pp.1460-1470, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00705648

M. Medard, S. G. Finn, R. A. Barry, and R. G. Gallager, Redundant Trees for Preplanned Recovery in Arbitrary Vertex-Redundant or Edge-Redundant Graphs, IEEE/ACM Transactions on Networking, vol.7, issue.5, pp.641-652, 1999.

Y. Bejerano and P. V. Koppol, Optimal construction of redundant multicast trees in directed graphs, INFOCOM 2009, pp.2696-2700, 2009.

Y. Bejerano, S. Jana, and P. V. Koppol, Efficient Construction of Directed Redundant Steiner Trees, Local Computer Networks (LCN), 2012 IEEE 37th Conference on, pp.119-127, 2012.

Y. Bejerano and P. V. Koppol, Link-coloring based scheme for multicast and unicast protection, High Performance Switching and Routing (HPSR), pp.21-28, 2013.

E. W. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.1, issue.1, pp.269-271, 1959.

R. Bellman, On a routing problem, Quarterly of Applied Mathematics, vol.16, issue.1, pp.87-90, 1958.

A. Juttner, B. Szviatovski, I. Mécs, and Z. Rajkó, Lagrange relaxation based method for the QoS routing problem, INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies, vol.2, pp.859-868, 2001.

R. Widyono, The design and evaluation of routing algorithms for real-time channels, 1994.

J. W. Suurballe and R. E. Tarjan, A quick method for finding shortest pairs of disjoint paths, Networks, vol.14, issue.2, pp.325-336, 1984.

E. Talbi, Metaheuristics : from design to implementation, p.230183356, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00750681

R. Hwang, W. Do, and S. Yang, Multicast routing based on genetic algorithms, Journal of Information Science and Engineering, vol.16, issue.6, pp.885-901, 2000.

W. Zhengying, S. Bingxin, and Z. Erdun, Bandwidth-delay-constrained least-cost multicast routing based on heuristic genetic algorithm, Computer Communications, vol.24, issue.7-8, pp.685-692, 2001.

T. Lu and J. Zhu, Genetic Algorithm for Energy-Efficient QoS Multicast Routing, IEEE Communications Letters, vol.17, issue.1, pp.31-34, 2013.

S. Tseng, Y. Huang, and C. Lin, Genetic algorithm for delay-and degreeconstrained multimedia broadcasting on overlay networks, Computer Communications, vol.29, issue.17, pp.3625-3632, 2006.

J. Knowles and D. Corne, A new evolutionary approach to the degree-constrained minimum spanning tree problem, IEEE Transactions on Evolutionary Computation, vol.4, issue.2, pp.125-134, 2000.

N. Shimamoto, A. Hiramatsu, and K. Yamasaki, A dynamic routing control based on a genetic algorithm, IEEE International Conference on Neural Networks, pp.1123-1128, 1993.

B. Kazimipour, X. Li, and A. K. Qin, A review of population initialization techniques for evolutionary algorithms, Evolutionary Computation (CEC), pp.2585-2592, 2014.

T. Friedrich and M. Wagner, Seeding the initial population of multi-objective evolutionary algorithms : A computational study, Applied Soft Computing, vol.33, pp.223-230, 2015.

A. E. Eiben and S. K. Smit, Evolutionary Algorithm Parameters and Methods to Tune Them, pp.15-36, 2011.

J. Clune, S. Goings, B. Punch, and E. Goodman, Investigations in meta-GAs : panaceas or pipe dreams, Proceedings of the 2005 workshops on Genetic and evolutionary computation -GECCO '05, p.235, 2005.

B. Yuan and M. Gallagher, A Hybrid Approach to Parameter Tuning in Genetic Algorithms, IEEE Congress on Evolutionary Computation, vol.2, pp.1096-1103, 2005.

L. Wang and T. Shen, Improved adaptive genetic algorithm and its application to image segmentation, Image Extraction, Segmentation, and Recognition, vol.4550, pp.115-121, 2001.

K. Almakadmeh and W. , Comparison of Crossover Types to Build Improved Queries Using Adaptive Genetic Algorithm, New Trends in Computing Sciences (ICTCS, pp.1-5, 2017.

T. Hong, H. Wang, and W. Chen, Simultaneously applying multiple mutation operators in genetic algorithms, Journal of heuristics, vol.6, issue.4, pp.439-455, 2000.

F. G. Lobo and C. F. Lima, A review of adaptive population sizing schemes in genetic algorithms, Proceedings of the 2005 workshops on Genetic and evolutionary computation -GECCO '05, p.228, 2005.

O. Roeva, S. Fidanova, and M. Paprzycki, Influence of the Population Size on the Genetic Algorithm Performance in Case of Cultivation Process Modelling, Federated Conference on Computer Science and Information Systems, 2013.

P. Krakow, , pp.371-376, 2013.

A. A. Hagberg, D. A. Schult, and P. J. Swart, Exploring network structure, dynamics, and function using NetworkX, Proceedings of the 7th Python in Science Conference (SciPy), pp.11-15, 2008.

, MATLAB Global Optimisation Toolbox, r2018a, The MathWorks

S. Denazis, E. Haleplidis, J. H. Salim, O. Koufopavlou, D. Meyer et al., RFC 7426 : Software-Defined Networking (SDN) : Layers and Architecture Terminology, vol.7426, 2015.

G. Antichi, I. Castro, M. Chiesa, E. L. Fernandes, R. Lapeyrade et al., ENDEAVOUR : A Scalable SDN Architecture For Real-World IXPs, IEEE Journal on Selected Areas in Communications, vol.35, issue.11, pp.2553-2562, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01671875

M. Bruyere, G. Antichi, E. L. Fernandes, R. Lapeyrade, S. Uhlig et al., Rethinking IXPs' Architecture in the Age of SDN, IEEE Journal on Selected Areas in Communications, vol.36, issue.12, pp.2667-2674, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01862776

D. Gyllstrom, N. Braga, and J. Kurose, Recovery from link failures in a Smart Grid communication network using OpenFlow, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm), pp.254-259, 2014.

N. Dorsch, F. Kurtz, F. Girke, and C. Wietfeld, Enhanced Fast Failover for Software-Defined Smart Grid Communication Networks, 2016 IEEE Global Communications Conference (GLOBECOM), pp.1-6, 2016.

C. A. Hasrouty, V. Autefage, C. Olariu, D. Magoni, and J. Murphy, SDN-Driven Multicast Streams with Adaptive Bitrates for VoIP Conferences, 2016 IEEE International Conference on Communications (ICC), pp.1-7, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01281878

S. Shukla, P. Ranjan, and K. Singh, MCDC : Multicast routing leveraging SDN for Data Center networks, 2016 6th International Conference -Cloud System and Big Data Engineering (Confluence), pp.585-590, 2016.

Q. Grandemange, Y. Bhujwalla, M. Gilson, O. Ferveur, and E. Gnaedinger, An AS-level Approach to Network Traffic Analysis and Modelling, 2017 IEEE International Conference on Communications (ICC), pp.1-6, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01590014

A. Aleroud and I. Alsmadi, Identifying DoS Attacks on Software Defined Networks : A Relation Context Approach, NOMS 2016 -2016 IEEE/IFIP Network Operations and Management Symposium, pp.853-857, 2016.

F. Bannour, S. Souihi, and A. Mellouk, Distributed SDN Control : Survey, Taxonomy, and Challenges, IEEE Communications Surveys & Tutorials, vol.20, issue.1, pp.333-354, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01676549

N. Mckeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson et al., OpenFlow : Enabling Innovation in Campus Networks, ACM SIGCOMM Computer Communication Review, vol.38, issue.2, pp.69-74, 2008.

. Itu-t-i, B-ISDN ATM Layer Specification, ITU, Tech. Rep, vol.361, 1990.

S. Sharma, D. Staessens, D. Colle, M. Pickavet, and P. Demeester, Fast failure recovery for in-band OpenFlow networks, 9th International Conference on the Design of Reliable Communication Networks (DRCN), 2013.

J. T. Araujo, R. Landa, R. G. Clegg, and G. Pavlou, Software-Defined Network Support for Transport Resilience, 2014 IEEE Network Operations and Management Symposium (NOMS), pp.1-8, 2014.

V. Padma and P. Yogesh, Proactive Failure Recovery in OpenFlow Based Software Defined Networks, 2015 3rd International Conference on Signal Processing, pp.1-6, 2015.

W. Gu, X. Zhang, B. Gong, and L. Wang, A Survey of Multicast in Software-Defined Networking, Proceedings of the 5th International Conference on Information Engineering for Mechanics and Materials, 2015.

S. Islam, N. Muslim, and J. W. Atwood, A Survey on Multicasting in Software-Defined Networking, IEEE Communications Surveys & Tutorials, vol.20, issue.1, pp.355-387, 2018.

A. Ghannami and C. Shao, Efficient Fast Recovery Mechanism in Software-Defined Networks : Multipath routing approach, 2016 11th International Conference for Internet Technology and Secured Transactions (ICITST), pp.432-435, 2016.

D. Kotani, K. Suzuki, and H. Shimonishi, A Design and Implementation of OpenFlow Controller Handling IP Multicast with Fast Tree Switching, p.2012

, IEEE/IPSJ 12th International Symposium on Applications and the Internet, pp.60-67, 2012.

V. Raja, C. Lung, A. Pandey, G. Wei, and A. Srinivasan, A subtree-based approach to failure detection and protection for multicast in SDN, Frontiers of Information Technology & Electronic Engineering, vol.17, issue.7, pp.682-700, 2016.

X. Xiong and T. Chen, MTM : A Reliable Multiple Trees Multicast for Data Center Network, 2017 International Conference on Networking, Architecture, and Storage (NAS), pp.1-7, 2017.

A. Farrel, J. Vasseur, and J. Ash, RFC 4655 : A path computation element (PCE)-based architecture, IETF, RFC, vol.4655, 2006.

F. Paolucci, F. Cugini, A. Giorgetti, N. Sambo, and P. Castoldi, A Survey on the Path Computation Element (PCE) Architecture, IEEE Communications Surveys & Tutorials, vol.15, issue.4, pp.1819-1841, 2013.

&. Pox-controller,

K. Phemius and M. Bouet, Monitoring latency with OpenFlow, Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013), pp.122-125, 2013.

B. Lantz, B. Heller, and N. Mckeown, A Network in a Laptop : Rapid Prototyping for Software-Defined Networks, Proceedings of the Ninth ACM SIGCOMM Workshop on Hot Topics in Networks -Hotnets '10, pp.1-6, 2010.

B. Pfaff, J. Pettit, T. Koponen, E. J. Jackson, A. Zhou et al., The Design and Implementation of Open vSwitch, Proceedings of the 12th USENIX Conference on Networked Systems Design and Implementation, pp.117-130, 2015.

B. Ioss and P. Lemaître, A Review on Global Sensitivity Analysis Methods," in Uncertainty Management in Simulation-Optimization of Complex Systems, ser. Operations Research/Computer Science Interfaces Series, vol.59, pp.101-122, 2015.

, UPPAAL 4.0

G. Behrmann, A. David, K. G. Larsen, J. Hakansson, P. Petterson et al., Third International Conference on the Quantitative Evaluation of Systems -(QEST'06), pp.125-126, 2006.