基于E-LOTOS/LOTOS的路由“反射”建模与振荡检测

摘要：

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

关键词： 协议一致性测试 边界网关协议 最短路径优先协议 LOTOS/E-LOTOS 振荡检测

作者: 孙晶 赵会群

作者单位: 北方工业大学信息工程学院 北京100041

会议类型: 国内会议

会议名称: 2005中国计算机大会

会议地点: 武汉

会议语种:中文

在线出版日期: 2005-10-13（万方平台首次上网日期，不代表论文的发表时间）