Study on Formal Modeling and Analysis Method Oriented Cognitive Network

Cognitive network is a new approach to solve self-management 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.

[1]  Ryan W. Thomas,et al.  Cognitive networks , 2005, First IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005..

[2]  Allen B. MacKenzie,et al.  Architecture and Performance of an Island Genetic Algorithm-Based Cognitive Network , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

[3]  Alexander M. Wyglinski.  Cognitive radio communications and networks [guest editorial] , 2008, IEEE Communications Magazine.

[4]  Qusay H. Mahmoud,et al.  Cognitive Networks: Towards Self-Aware Networks , 2007 .

[5]  Magdy Bayoumi,et al.  Towards Autonomic Network Performance Management in mobile ad hoc networks , 2010, 2010 IEEE Globecom Workshops.

[6]  Yong-Geun Hong,et al.  Considerations of multi network in Cognitive network , 2008, 2008 10th International Conference on Advanced Communication Technology.