ForCES是下一代互联网路由领域最受关注的体系架构之一,从未来的推广和产业化角度来看,大家更为关心的应该是其可用性和稳定性。CE是ForCES路由器的核心部件,其高可用性在很大程度上决定了ForCES的可用性。本文的研究内容就是CE的高可用性建模。首先,在介绍系统高可用性基本概念的基础上,结合ForCES相关协议对CE的高可用性需求,设计了多种关于CE的高可用性方案,并进行了详细的分析。接着,介绍针对单一主CE的瞬时可用性分析模型,此模型从1+1备份推广到1+N备份系统,但却没考虑切换时间。针对这一点,本文修改了模型,在1+1备份系统中加入切换时间,并结合仿真结果得出切换时间在早期对系统可用性影响较大。最后,描述针对多主CE的稳态可用性分析模型,此模型综合考虑了多主CE集群的软硬件失效模型和由于缓冲区过载而造成的请求过载模型,但此模型只能应用于负载均衡式的环境中。为此,本文对模型进行了修正,将一个多主CE集群分成两个功能不同的子集群,然后将两个子集群通过串联的方式合成一个具有分布式控制功能的多主CE集群。根据仿真结果可知,负载均衡式的多主CE集群比分布式控制的集群可用性要高。同时,分布式控制中多主CE集群的可用性与载荷种类和子集群的划分有密切关系。