Study on Formal Modeling and Analysis Method oriented Cognitive Network
Cognitive network is a new approach to solve selfmanagement of complex heterogeneous network, and its model and analysis method are key problems to be solved. A formal modeling and analysis method for cognitive network is proposed based on stochastic process algebra. Firstly, basic concept of PEPA is introduced. Then system behaviors are abstracted combining with cognitive essence, and formal models for cognitive network are constructed from the angles of macroscopic operating states and internal services with PEPA respectively. On the basis, quantitative analysis method is discussed. The proposed modeling and analysis method has the features logical accuracy, which can apply in any phases and direct the designation of cognitive network.
cognitive networks performance evaluation process algebra formal modeling quantitative analysis
Jian Wang Lili Guo Guosheng zhao
College of Information and Communication Engineering, Harbin Engineering University, Harbin, China C College of Information and Communication Engineering, Harbin Engineering University, Harbin, China Center of Computer Network and Information, Harbin Normal University, Harbin, China
国际会议
杭州
英文
980-983
2012-10-28（万方平台首次上网日期，不代表论文的发表时间）