一种基于进程代数的路由器性能评价算法

Formal Performance Analysis Algorithm of Router

性能评价是路由器设计中的一个重要环节,目前有多种方法,提出了一种基于进程代教的形式化方法,它能在系统进 行正确性验证的同时得到系统的性能参数．首先定义了描述路由器模型的进程代数方法,然后介绍了建立路由器模型的方法, 并给出了一个简单的例子,最后给出了计算路由器两个性能指标吞吐率和延时的算法．

Performance evaluation is very important in design of router and there are some methods to implement it. This paper presents a process algebra based method to analyze performance of router, in which performance analysis and correctness validation can he implemented simultaneously. Firstly, this paper defines a process algebra based method to model router. Secondly, we analyze how to model router and exemplify it through a simple router model. Finally, the algorithms that calculate output and delay of router are given.