北京邮电大学学报

  • EI核心期刊

北京邮电大学学报 ›› 2007, Vol. 30 ›› Issue (2): 46-49.doi: 10.13190/jbupt.200702.46.112

• 论文 • 上一篇    下一篇

Internet异构路由建模与冲突分析

赵会群1,2 , 孙 晶1   

  1. (1.北方工业大学 信息工程学院, 北京 100041; 2.北京邮电大学 软件学院, 北京100876)
  • 收稿日期:2006-04-04 修回日期:1900-01-01 出版日期:2007-04-30 发布日期:2007-04-30
  • 通讯作者: 赵会群

Modeling Internet Heterogeneous Routing and Analyzing Conflicted Routing

ZHAO Hui-qun1,2 , SUN Jing1   

  1. (1. School of Information and Engineering ,North China University of Technology, Beijing 100041,China;
    2. School of Software Engineering , Beijing University of Posts and Telecommunications, Beijing 100876,China)
  • Received:2006-04-04 Revised:1900-01-01 Online:2007-04-30 Published:2007-04-30
  • Contact: ZHAO Hui-qun

摘要:

针对不同路由协议之间的冲突问题,提出一种新的异构路由建模和冲突分析方法。该方法使用时序说明语言(LOTOS)作为路由系统描述语言,通过定义适合于路由系统分析的路由常量和运算规则,建立路由系统的数学模型;通过求解数学模型有效地发现冲突路由。为了支持上述观点,使用可扩展的网络仿真工具(SSFnet)对边界网关协议(BGP4)和最短路径优先协议(OSPF)进行仿真,实验结果表明了提出的分析方法与实际情况的一致性。

关键词: 协议一致性测试, 边界网关协议, 最短路径优先协议, 时序说明语言

Abstract:

One of the main Reasons of fault growing is wrong routing configuration that R5 will be resulted from conflicted routing in the Internet routing system, especially between heterogeneous routing protocols. A new approach to modeling heterogeneous routing system and analyzing conflicted routing is proposed. It employs the language of tempora1 ordering specification(LOTOS in short) as description language, and by suitable specifying and developing some constants and operations an algebraic model system is constructed. By deducing the algebraic model the conflicted routing can be found out efficiently. In order to support our viewpoint an experiment is carried out that employs scalable simulation framework (SSFnet in short) to simulate behaviors of the border gateway protocol (BGP4 in short) and the open short path first (OSPF in short). The experiment result shows the consistency.

Key words: protocol test, border gateway protocol, open short path first, language of temporal ordering specification

中图分类号: