Formal Performance Analysis Algorithm of Router

ZHANG Guan-hua,ZHANG Lian-hua,BAI Ying-cai
DOI: https://doi.org/10.3969/j.issn.1000-1220.2005.10.007
2005-01-01
Abstract: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 be 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.
What problem does this paper attempt to address?