在 Möbius 中实现软件定义骨干网络的可用性模型

软件定义网络（SDN）有望提升网络的可编程性与灵活性，但也可能带来需要探索的新挑战。一个悬而未决的问题是对 SDN 骨干网络特性进行定量评估，以确定其能否提供与传统 IP 骨干网络相似的可用性。为实现这一目标，应考虑一个能够捕捉全局网络连通性而不忽略关键细节、并包含故障相关性评估的两级可用性模型。该两级可用性模型由结构模型和网络主要最小割集的动态模型组成。本技术报告旨在详尽展示在 Möbius 中实现网络元素的随机活动网络（SAN）可用性模型，以及 SDN 骨干网络与相应传统骨干网络的主要最小割集。