论文部分内容阅读
随着商业化进程的加快，Internet 的规模和复杂性也随之迅速地增长，随之而来的网络故障也不断地发生。故障发生的原因之一是路由配置中有冲突路由存在，尤其是不同路由协议之间的冲突问题。针对这一问题提出一种新的异构路由建模和冲突分析方法。该方法使用 LOTOS/E-LOTOS 作为路由系统描述语言，通过定义适合于路由系统分析的路由常量和运算规则，建立路由系统的数学模型；通过求解数学模型有效地发现冲突路由。为了支持上述观点，使用仿真工具 SSFnet 对 BGP4 和 OSPF进行仿真，实验结果表明了提出的分析方法与实际情况的一致性。