雷恩大学博士论文：SDN架构下应用程序一致性连接案例研究

本篇博士学位论文由约翰·佩莱撰写，于2020年1月13日在雷恩第一大学数学与信息与通信领域的ECOLE DOCTORALE N°601进行论文发表与答辩。论文的主题是“确保网络配置更改期间的应用程序一致性：软件定义基础架构中的连接案例研究”，主要关注在软件定义网络(SDN)和网络功能虚拟化(NFV)的背景下，如何在复杂的网络架构中实现应用程序的一致性。 论文的研究背景强调了网络环境中的重要性，尤其是在减少硬件限制和提高灵活性的同时，保证服务的连续性和应用程序的稳定性。SDN通过将控制平面和数据平面分离，使得网络配置可以更灵活地管理，而NFV则通过虚拟化网络功能，实现了网络功能的动态部署和迁移。然而，这同时也带来了新的挑战，如OSI模型的混乱以及如何在SDN中进行意图驱动的网络操作，包括配置验证、网络行为管理和广域网的优化。 作者提到了他们的研究工具和方法，如FlowKat和网络行为合同，这些是他们在论文中用来支持其理论和实践的案例。此外，论文还探讨了NFVMANO（NFV Management and Orchestration）架构中的验证问题，这是对现有解决方案的一个关键补充，旨在提升网络服务的可靠性。 论文的完成得到了导师Olivier Barais、Fabrice Guillemin，以及Chantal Taconet、Pascal Lorenz、Kevin Corre和Jean-Louis Pazat等人的指导和支持。他们在论文的构思、批评和审阅过程中发挥了重要作用。作者特别感谢b>com的网络架构团队和IRISA的DiverSE团队，以及个人的朋友和家人，尤其是弗朗索瓦丝·伊尔对于稿件的精心校对。 这篇论文深入研究了在软件定义基础架构中确保应用程序一致性的问题，为网络管理和优化提供了新的视角和实用策略，展示了作者在该领域的专业知识和研究贡献。